A categorical look at tree automata and context-free languages
Rosenthal, Kimmo I.; Rosenthal Kimmo I.; Union College
Журнал:
Mathematical Structures in Computer Science
Дата:
1994
Аннотация:
In this article, we indicate how the category theoretical approach to tree automata, due to Betti and Kasangian, can be fruitfully combined with Walters’ categorical approach to context-free grammars to provide a simple way of establishing the well-known correspondence between context-free languages and the behaviors of non-deterministic tree automata. The connecting link between the two notions is provided by the theory of relational presheaves.
383.9Кб