Advertisement

Languages Representable by Vertex-Labeled Graphs

  • Igor Grunsky
  • Oleksiy Kurganskyy
  • Igor Potapov
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3618)

Abstract

In this paper we study the properties of undirected vertex-labeled graphs and the limitations on the languages that they represent. As a main result of this paper we define the necessary and sufficient conditions for the languages to be representable by a class of undirected vertex-labeled graphs and its subclasses. We assume that all obtained results and techniques are transferable to the case of undirected edge-labeled graphs and might give us similar results. The simplicity of necessary conditions emphasizes the naturalness of the result. The proof of their sufficiency is quite non-trivial and it is based on a new notion of quasi-equivalence, that is significantly different from Myhill-Nerode equivalence and might not be reduced to it.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dudek, G., Jenkin, M., Milios, E., Wilkes, D.: Map Validation and Robot Self-Location in a Graph-Like World. Robotics and Autonomous Systems 22(2), 159–178 (1997)CrossRefGoogle Scholar
  2. 2.
    Eilenberg, S.: Automata, Languages, and Machines. Academic Press, Inc, Orlando (1974)zbMATHGoogle Scholar
  3. 3.
    Grunsky, I.S., Kurganskyy, O.: Properties of languages that generated by undirected vertex-labeled graps. In: proceeding of 8-th International Seminar on Discrete mathematics and its applications, Moscow State University, pp. 267–269 (2004) (in Russian)Google Scholar
  4. 4.
    Jantzen, M., Kurganskyy, A.: Refining the hierarchy of blind multicounter languages and twist-closed trios. Inf. Comput. 185(2), 159–181 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Levitt, T.S., Lawton, D.T.: Qualitative Navigation for Mobile Robots. Artif. Intell. 44(3), 305–360 (1990)CrossRefGoogle Scholar
  6. 6.
    Kapitonova, Y.V., Letichevsky, A.A.: Mathematical theory of computer systems design. In: Nauka, p. 286 (1988) (in Russian)Google Scholar
  7. 7.
    Kudryavtsev, V.B., Ushchumlich, S.M., Kilibarda, G.: On behaviour of automata in labyrinths. Discrete Mathematics and Applications 3(1), 1–28 (1993)CrossRefMathSciNetGoogle Scholar
  8. 8.
    Sapunov, S.V.: An equivalence of labeled graphs. Tr. Inst. Prikl. Mat. Mekh. 7, 162–167 (2002) (in Russian)zbMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Igor Grunsky
    • 1
  • Oleksiy Kurganskyy
    • 1
  • Igor Potapov
    • 2
  1. 1.Institute of Applied Mathematics and MechanicsUkrainian National Academy of SciencesDonetskUkraine
  2. 2.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK

Personalised recommendations