×

Automata and rational expressions on planar graphs. (English) Zbl 0656.68079

Mathematical foundations of computer science, Proc. 13th Symp., Carlsbad/Czech. 1988, Lect. Notes Comput. Sci. 324, 190-200 (1988).
[For the entire collection see Zbl 0643.00024.]
Directed acyclic graphs (dags) are used in the study of parallelism, relational data bases and unification algorithms. They are also used to model derivations of phrase-structure grammars. In this paper the authors study languages of planar dags (pdags). They introduce an appropriate “rational” language for specifying pdag languages as well as pdag recognizers. The latter extend dag automata studies by Kamimura and the reviewer. A Kleene-like result is proved that shows the equivalence of the rational specification language and the pdag automata.
Reviewer: G.Slutzki

MSC:

68Q45 Formal languages and automata
68R10 Graph theory (including graph drawing) in computer science

Citations:

Zbl 0643.00024