arXiv reaDer
Automated Pattern Detection--An Algorithm for Constructing Optimally Synchronizing Multi-Regular Language Filters
 1次元セルオートマトンの計算力学構造解析では、時系列解析からの変化点問題の次のオートマトン理論的類似が発生します:\ emph {文字列σと有限オートマトンのコレクション\ D_i \を与え、各D_iに属するσの領域、特にそれらを分離する境界。}この多規則言語フィルタリングの問題を解決する2つの方法を示します。 1つ目は理想的なソリューションを提供しますが、スタックが必要であり、σの長さで二次関数的に増加するワーストケースの計算時間を持ち、将来の入力の任意の長いウィンドウの任意のポイントで出力を調整します。 2番目の方法は、最初のアルゴリズムに近似するトランスデューサーをアルゴリズムで構築することです。ただし、スタックベースのアルゴリズムとは対照的に、トランスデューサーは有限量のメモリのみを必要とし、線形時間で実行され、読み取られた各文字に対して即時出力を提供します。さらに、これらの3つの機能を備えた可能な限り最適な有限状態近似です。
In the computational-mechanics structural analysis of one-dimensional cellular automata the following automata-theoretic analogue of the change-point problem from time series analysis arises: \emph{Given a string σ and a collection \D_i\ of finite automata, identify the regions of σ that belong to each D_i and, in particular, the boundaries separating them.} We present two methods for solving this multi-regular language filtering problem. The first, although providing the ideal solution, requires a stack, has a worst-case compute time that grows quadratically in σ's length and conditions its output at any point on arbitrarily long windows of future input. The second method is to algorithmically construct a transducer that approximates the first algorithm. In contrast to the stack-based algorithm, however, the transducer requires only a finite amount of memory, runs in linear time, and gives immediate output for each letter read; it is, moreover, the best possible finite-state approximation with these three features.
updated: Thu Oct 07 2004 17:20:56 GMT+0000 (UTC)
published: Thu Oct 07 2004 17:20:56 GMT+0000 (UTC)
参考文献 (このサイトで利用可能なもの) / References (only if available on this site)
被参照文献 (このサイトで利用可能なものを新しい順に) / Citations (only if available on this site, in order of most recent)アソシエイト