Advertisement

Cybernetics and Systems Analysis

, Volume 45, Issue 3, pp 387–396 | Cite as

Equivalence of regular expressions over a partially commutative alphabet

  • A. S. Shoukourian
Article
  • 21 Downloads

The equivalence problem is considered for regular expressions over a partially commutative alphabet. The alphabet is decomposed into disjoint subsets of noncommutative elements. The special case of the problem when the cardinal number of only one subset is larger than 1 and the cardinal numbers of the other subsets are equal to 1 is proved to be algorithmically solvable.

Keywords

regular expression partially commutative alphabet automaton equivalence 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    A. V. Aho and J. D. Ullman, Theory of Parsing, Translation, and Compiling [Rusian translation], Vol. 1, Mir, Moscow (1978).Google Scholar
  2. 2.
    V. N. Red’ko, “Algebra of commutative events,” Ukr. Mat. Zh., 16, No. 2, 185–195 (1964).MathSciNetMATHGoogle Scholar
  3. 3.
    V. A. Tuzov, “Decision problems for graph schemata with permutable operators. II,” Cybernetics, No. 5, 778–789 (1971).Google Scholar
  4. 4.
    M. O. Rabin and D. Scott, “Finite automata and their decision problems,” IBM Journ. of Res. and Development, 3 (2), 114–125 (1959).MathSciNetCrossRefGoogle Scholar
  5. 5.
    C. Preston, “The Algebraic Theory of Semigroups,” Amer. Math. Soc., No. 7, 148–159 (1961).Google Scholar
  6. 6.
    A. B. Godlevskii, A. A. Letichevskii, and S. K. Shukuryan, “Reducibility of program-scheme functional equivalence on a nondegenerate basis of rank unity to the equivalence of automata with multidimensional tapes,” Cybernetics, No. 6, 793–799 (1980).Google Scholar
  7. 7.
    H. A. Grigorian and S. K. Shoukourian, “The equivalence problem of multidimensional multitape automata,” Journal of Computer and System Sciences, 74, No. 7, 1131–1138 (2008).CrossRefMathSciNetMATHGoogle Scholar

Copyright information

© Springer Science+Business Media, Inc. 2009

Authors and Affiliations

  1. 1.Institute for Informatics and Automation ProblemsNAS of the Republic of ArmeniaYerevanArmenia

Personalised recommendations