![](/img/cover-not-exists.png)
STRICT LOCAL TESTABILITY OF THE FINITE CONTROL OF TWO-WAY AUTOMATA AND OF REGULAR PICTURE DESCRIPTION LANGUAGES
BIRGET, JEAN-CAMILLEVolume:
1
Language:
english
Journal:
International Journal of Algebra and Computation
DOI:
10.1142/S0218196791000092
Date:
June, 1991
File:
PDF, 1.25 MB
english, 1991