Automata theory based on complete residuated lattice-valued logic: Turing machines
From MaRDI portal
Publication:690917
DOI10.1016/j.fss.2012.03.001zbMath1252.03099WikidataQ62049409 ScholiaQ62049409MaRDI QIDQ690917
Lihua Wu, Hongyan Xing, Dao Wen Qiu
Publication date: 29 November 2012
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2012.03.001
Turing machines; nonclassical logic; recursively enumerable languages; residuated lattices; universal Turing machines
03D05: Automata and formal grammars in connection with logical questions
03D10: Turing machines and related notions