Strict Local Testability of the Finite Control of Two-Way Automata and of Regular Picture Description Languages.

Published in: Int. J. Algebra Comput. (1991)

Keyphrases