alfa-ALN: Autômatos Lineares Não-Determinísticos com alfa-Transições

Bedregal, Benjamín R. C.

doi:10.5540/tema.2011.012.03.0171

Cited by 4 publications

(10 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The FLA's have the same characteristics in relation to "architecture" as the automata in [5,4], i.e., a FLA is a machine with a memory (tape) read and two heads for reading of tape.…”

Section: Two New Fuzzy Machinesmentioning

confidence: 99%

See 1 more Smart Citation

Fuzzy Linear Automata and Some Equivalences

Costa

Bedregal²

2018

Tend. Mat. Apl. Comput.

View full text Add to dashboard Cite

ABSTRACT. In this paper, we present two new normal forms for fuzzy linear grammars. Moreover, we introduce two new classes of fuzzy machines. The first is the class of fuzzy linear automata (FLA). We show that automata of this type is equivalent to the fuzzy linear grammar, i.e., we prove that the class of fuzzy languages is recognized by fuzzy linear automata. Finally, we introduce the class of fuzzy nondeterministic 2-tape automata (FNTA), show the equivalence between them and fuzzy linear automata.

show abstract

“…The FLA's have the same characteristics in relation to "architecture" as the automata in [5,4], i.e., a FLA is a machine with a memory (tape) read and two heads for reading of tape.…”

Section: Two New Fuzzy Machinesmentioning

confidence: 99%

“…Linear languages are characterized by linear grammars or by states machines presented by Bedregal and Rosemberg, respectively nondeterministic linear automata [5,4] and nondeterministic 2-tape finite automata [17].…”

Section: Introductionmentioning

confidence: 99%

Fuzzy Linear Automata and Some Equivalences

Costa

Bedregal²

2018

Tend. Mat. Apl. Comput.

View full text Add to dashboard Cite

show abstract

“…Биавтоматы были впервые введены в статье [12] и независимо в работе [13] (в первых публикациях они были названы линейными автоматами) как более простая альтернатива магазинным автоматам (PDAs) для обработки контекстно-свободных (к-с) языков, порожденных линейными грамматиками. Впоследствии в нескольких публикациях было проведено подробное изучение вычислительных возможностей биавтоматов [14][15][16] и алгоритмических аспектов задач анализа их поведения [14,17].…”

Section: Introductionunclassified

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

Zakharov

2021

Aut. Control Comp. Sci.

View full text Add to dashboard Cite

Finite transducers, two-tape automata, and biautomata are related computational models descended from the concept of Finite-State Automaton. In these models an automaton controls two heads that read or write symbols on the tapes in the one-way mode. e computations of these three types of automata show many common features, and it is surprising that the methods for analyzing the behavior of automata developed for one of these models do not nd suitable utilization in other models.e goal of this paper is to develop a uniform technique for building polynomial-time equivalence checking algorithms for some classes of automata ( nite transducers, two-tape automata, biautomata, single-state pushdown automata) which exhibit certain features of the deterministic or unambiguous behavior.is new technique reduces the equivalence checking of automata to solvability checking of certain systems of equations over the semirings of languages or transductions. It turns out that such a checking can be performed by the variable elimination technique which relies on some combinatorial and algebraic properties of pre x-free regular languages. e main results obtained in this paper are as follows:1. Using the algebraic approach a new algorithm for checking the equivalence of states of deterministic nite automata is constructed; time complexity of this algorithm is ( log ). 2. A new class of pre x-free nite transducers is distinguished and it is shown that the developed algebraic approach provides the equivalence checking of transducers from this class in quadratic time (for real-time pre x-free transducers) and cubic (for pre x-free transducers with -transitions) relative to the sizes of analysed machines. 3. It is shown that the equivalence problem for deterministic two-tape nite automata can be reduced to the same problem for pre x-free nite transducers and solved in cubic time relative to the size of the analysed machines. 4. In the same way it is proved that the equivalence problem for deterministic nite biautomata can be solved in cubic time relative to the sizes of analysed machines. 5. By means of the developed approach an e cient equivalence checking algorithm for the class of simple grammars corresponding to deterministic single-state pushdown automata is constructed.

show abstract

Section: Introductionunclassified

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

Zakharov¹

2020

Model. anal. inf. sist.

View full text Add to dashboard Cite

Finite transducers, two-tape automata, and biautomata are related computational models descended from the concept of Finite-State Automaton. In these models an automaton controls two heads that read or write symbols on the tapes in the one-way mode. e computations of these three types of automata show many common features, and it is surprising that the methods for analyzing the behavior of automata developed for one of these models do not nd suitable utilization in other models. e goal of this paper is to develop a uniform technique for building polynomial-time equivalence checking algorithms for some classes of automata ( nite transducers, two-tape automata, biautomata, single-state pushdown automata) which exhibit certain features of the deterministic or unambiguous behavior.is new technique reduces the equivalence checking of automata to solvability checking of certain systems of equations over the semirings of languages or transductions. It turns out that such a checking can be performed by the variable elimination technique which relies on some combinatorial and algebraic properties of pre x-free regular languages. e main results obtained in this paper are as follows: 1. Using the algebraic approach a new algorithm for checking the equivalence of states of deterministic nite automata is constructed; time complexity of this algorithm is ( log ). 2. A new class of pre x-free nite transducers is distinguished and it is shown that the developed algebraic approach provides the equivalence checking of transducers from this class in quadratic time (for real-time pre x-free transducers) and cubic (for pre x-free transducers with -transitions) relative to the sizes of analysed machines. 3. It is shown that the equivalence problem for deterministic two-tape nite automata can be reduced to the same problem for pre x-free nite transducers and solved in cubic time relative to the size of the analysed machines. 4. In the same way it is proved that the equivalence problem for deterministic nite biautomata can be solved in cubic time relative to the sizes of analysed machines. 5. By means of the developed approach an e cient equivalence checking algorithm for the class of simple grammars corresponding to deterministic single-state pushdown automata is constructed.

show abstract

alfa-ALN: Autômatos Lineares Não-Determinísticos com alfa-Transições

Cited by 4 publications

References 15 publications

Fuzzy Linear Automata and Some Equivalences

Fuzzy Linear Automata and Some Equivalences

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

Contact Info

Product

Resources

About