Abstract

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: 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 finite 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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.