Rational graphs trace context-sensitive languages

Christophe Morvan (1) , Colin P. Stirling (2)

1 SUMO - SUpervision of large MOdular and distributed systems
2 LFCS - Laboratory for the Foundations of Computer Science [Edinburgh]

This paper shows that the traces of rational graphs coincide with the context-sensitive languages.

Cet article établit que les traces des graphes rationnels sont les langages contextuels.

Domaines: Mathématique discrète [cs.DM]

Christophe Morvan, Colin P. Stirling. Rational graphs trace context-sensitive languages. Mathematical Foundations of Computer Science, Aug 2001, Marianske Lazne, Czech Republic. ⟨hal-00950050⟩