Two undecidability results for chain code picture languages
Theoretical Computer Science
On regular drawn symbolic picture languages
Information and Computation
Adding symbolic information to picture models: definitions and properties
Theoretical Computer Science
The finiteness of synchronous, tabled picture languages is decidable
Theoretical Computer Science
A method for deciding the finiteness of deterministic tabled picture languages
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
Hi-index | 5.23 |