Abstract
In this paper, definitions of \({\mathcal{K}}\) automata, \({\mathcal{K}}\) regular languages, \({\mathcal{K}}\) regular expressions and \({\mathcal{K}}\) regular grammars based on lattice-ordered semirings are given. It is shown that \({\mathcal{K}}\)NFA is equivalent to \({\mathcal{K}}\)DFA under some finite condition, the Pump Lemma holds if \({\mathcal{K}}\) is finite, and \({{\mathcal{K}}}\epsilon\)NFA is equivalent to \({\mathcal{K}}\)NFA. Further, it is verified that the concatenation of \({\mathcal{K}}\) regular languages remains a \({\mathcal{K}}\) regular language. Similar to classical cases and automata theory based on lattice-ordered monoids, it is also found that \({\mathcal{K}}\)NFA, \({\mathcal{K}}\) regular expressions and \({\mathcal{K}}\) regular grammars are equivalent to each other when \({\mathcal{K}}\) is a complete lattice.
Similar content being viewed by others
References
Baudot R (2000) Non-commutative programming language NoClog. In: Symposium LICS, Santa Barbara (Short Presentations), pp 3–9
Di Nola A, Gerla B (2004) Algebras of Lstrok; ukasiewicz Logic and their semiring reducts. In: Litvinov GL, Maslov VP (eds) Proceedings of the conference on idempotent mathematics and mathematial physics
Droste M, Gastin P (2005) Weighted automata and weighted logics. In: Proceedings of 32nd international colloquium on automata, languages and programming (ICALP’05), LNCS, Springer, Lisboa
Dvurečenskij (2002) Pseudo-MV algebras are intervals in l-groups. J Austral Math Soc 72:427–445
Dvurečenskij, Pulmannová (2000) New trends in quantum structures. Kluwer, Dordrecht
Eilenberg S (1974) Automata, languages, and machines. Academic, New York
Georgescu G, Iorgulescu A (2001) Pseudo-MV algebras. Multi-Valued Logic 6:95–135
Gerla B (2003) Many-valued Logic and semirings. Neural Netw Worlds 5:467–480
Gerla B (2004) Automata over MV algebra. In: Proceedings of 34th international symposium on multiple-valued logic, pp 49–54
Hajek P (2003) Observations on non-commutative fuzzy logic. Soft Comput 8:38–43
Ignjatović J, Ćirić M, Bogdanović S (2008) Determinization of fuzzy automata with membership values in complete residuated lattices. Inf Sci 178:164–180
Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, languages, and computation, 2nd edn. Addison Wesley,
Krob D (1998) Some automata-theoretic aspects of min-max-plus semirings. In: Gunawardena J (eds) Idempotency. Cambridge University Press, Cambridge, pp 70–79
Li ZH, Li P, Li YM (2006) The relationships among several types of fuzzy automata. Inf Sci 176:2208–2226
Li YM, Pedrycz W (2005) Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets Syst 156:68–92
Li YM, Pedrycz W (2006) The equivalence between fuzzy Mealy and Moore machines. Soft Comput 10:953–959
Ying M (2005) A theory of computation based on quantum logic (I). Theor Comput Sci 344(2):134–207
Rachunek J (2002) A non-commutative generalized of MV-algebras. Czechoslovak Math J 52:255–273
Simon I (1988) Recognizable sets with multiplicities in the tropical semiring. Lect Notes Comput Sci 324:107–120
Shang Y, Lu R (2007) Semirings and pseudo MV algebras. Soft Comput 11:847–853
Sheng L, Li YM (2006) Regular grammars with values in lattice-ordered monoid and their languages. Soft Comput 10:79–86
Acknowledgments
This work was supported by NSFC Major Research Program 60496324; NSFC No. 6002530760234010, 60603002; Pre-973 Project 2001CCA03000; 863 High-Tech Project 2001AA113130; 973 Project 2001CB312004; CAS Brain and Mind Science Project; China Postdoctoral Science Foundation.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lu, X., Shang, Y. & Lu, R. Automata theory based on lattice-ordered semirings. Soft Comput 15, 269–280 (2011). https://doi.org/10.1007/s00500-010-0565-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-010-0565-3