Advertisement

Abstract

In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive languages are the languages generated by growing grammars, or equivalently those accepted by Turing machines whose work tape’s size is proportional to that of their input. A few years ago, a new characterisation of context-sensitive languages as the sets of traces, or path labels, of rational graphs (infinite graphs defined by sets of finite-state transducers) was established.

We investigate a similar characterisation in the more general framework of graphs defined by term transducers. In particular, we show that the languages of term-automatic graphs between regular sets of vertices coincide with the languages accepted by alternating linearly bounded Turing machines. As a technical tool, we also introduce an arborescent variant of tiling systems, which provides yet another characterisation of these languages.

Keywords

Turing Machine Tiling System Input Word Rational Graph Tree Transducer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BG00]
    Blumensath, A., Grädel, E.: Automatic structures. In: Proceedings of the 15th IEEE Symposium on Logic in Computer Science (LICS 2000), pp. 51–62. IEEE, Los Alamitos (2000)Google Scholar
  2. [Cho59]
    Chomsky, N.: On certain formal properties of grammars. Information and Control 2, 137–167 (1959)zbMATHCrossRefMathSciNetGoogle Scholar
  3. [CKS81]
    Chandra, A., Kozen, D., Stockmeyer, L.: Alternation. Journal of the ACM 28(1), 114–133 (1981)zbMATHCrossRefMathSciNetGoogle Scholar
  4. [CM06]
    Carayol, A., Meyer, A.: Context-sensitive languages, rational graphs and determinism. Logical Methods in Computer Science 2(2) (2006)Google Scholar
  5. [GR96]
    Giammarresi, D., Restivo, A.: Handbook of Formal Languages. In: Two-dimensional languages, vol. 3, Springer, Heidelberg (1996)Google Scholar
  6. [KN95]
    Khoussainov, B., Nerode, A.: Automatic presentations of structures. In: Leivant, D. (ed.) LCC 1994. LNCS, vol. 960, pp. 367–392. Springer, Heidelberg (1995)Google Scholar
  7. [Kur64]
    Kuroda, S.: Classes of languages and linear-bounded automata. Information and Control 7(2), 207–223 (1964)zbMATHCrossRefMathSciNetGoogle Scholar
  8. [LS97]
    Latteux, M., Simplot, D.: Context-sensitive string languages and recognizable picture languages. Information and Computation 138(2), 160–169 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  9. [Mor00]
    Morvan, C.: On rational graphs. In: Tiuryn, J. (ed.) ETAPS 2000 and FOSSACS 2000. LNCS, vol. 1784, pp. 252–266. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  10. [MR05]
    Morvan, C., Rispal, C.: Families of automata characterizing context-sensitive languages. Acta Informatica 41(4-5), 293–314 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  11. [MS01]
    Morvan, C., Stirling, C.: Rational graphs trace context-sensitive languages. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol. 2136, pp. 548–559. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  12. [Pen74]
    Penttonen, M.: One-sided and two-sided context in formal grammars. Information and Control 25(4), 371–392 (1974)zbMATHCrossRefMathSciNetGoogle Scholar
  13. [Ris02]
    Rispal, C.: The synchronized graphs trace the context-sensitive languages. In: Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (INFINITY 2002). Electronic Notes in Theoretical Computer Science, vol. 68 (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Antoine Meyer
    • 1
  1. 1.LIAFA – Université Paris Diderot – Paris 7, Case 7014, 2 place Jussieu, 75251 Paris Cedex 05France

Personalised recommendations