Suchergebnisse - Brzozowski's algorithm

On Brzozowski’s algorithm, pumping lemma, and monoid representation for a typical hesitant fuzzy multiset language von Verma, Sunny, Yadav, Vijay K., Ruhela, Shainky, Yadav, Swati, Sharma, Binod K.

Volltext

Nondeterministic Moore automata and Brzozowski’s minimization algorithm von Castiglione, G., Restivo, A., Sciortino, M.

“… We propose an algorithm that is a variant of Brzozowski’s minimization algorithm in the sense that it is essentially structured as reverse operation and subset construction performed twice …”
Volltext

Polynomial crisp-minimization algorithm for fuzzy deterministic automata von de Mendívil Grau, Aitor González, Fariña, Federico, Stanimirović, Stefan, Micić, Ivana, de Mendívil, José Ramón González

“… Designing automata minimization algorithms is a significant topic in Automata Theory and Languages with practical applications …”
Volltext

Automata Minimization: a Functorial Approach von Colcombet, Thomas, Petrişan, Daniela

“… In this paper we regard languages and their acceptors - such as deterministic or weighted automata, transducers, or monoids - as functors from input categories …”
Volltext

Standard Sturmian words and automata minimization algorithms von Castiglione, G., Sciortino, M.

“… These relationships have been, in fact, the basis of the study of the tightness and the extremal cases of Hopcroft's algorithm, that is, up to now, the most efficient minimization method …”
Volltext

A polynomial double reversal minimization algorithm for deterministic finite automata von Vázquez de Parga, Manuel, García, Pedro, López, Damián

“… from Brzozowski’s double reversal algorithm. To do so, we take into account the framework by Brzozowski and Tamm, to propose an atomization algorithm that allows us to achieve …”
Volltext

Minimal Determinization Algorithm for Fuzzy Automata von Grau, Aitor G. de Mendivil, Stanimirovic, Stefan, Farina, Federico

“… The determinization of fuzzy automata is a well-studied problem in theoretical computer science celebrated for its practical applications. Indeed, in the …”
Volltext

Further improvements of determinization methods for fuzzy finite automata von Jančić, Zorana, Micić, Ivana, Ignjatović, Jelena, Ćirić, Miroslav

“… ], in the sense that they produce smaller automata, while require the same computation time. The only exception is the Brzozowski type determinization algorithm developed recently by Jančić and Ćirić [34 …”
Volltext

Canonization of max-min fuzzy automata von González de Mendívil, José R., Fariña Figueredo, Federico

“… The canonization method is derived from the well-known Brzozowski's algorithm for ordinary nondeterministic automata …”
Volltext

On the Power of Automata Minimization in Reactive Synthesis von Zhu, Shufang, M. Tabajara, Lucas, Pu, Geguang, Y. Vardi, Moshe

Volltext

Partial derivatives of regular expressions and finite automaton constructions von Antimirov, Valentin

“… The notion is a generalization of the known notion of word derivative due to Brzozowski: partial derivatives are related to non-deterministic finite automata (NFA's …”
Volltext

On the Power of Automata Minimization in Reactive Synthesis von Zhu, Shufang, Tabajara, Lucas M, Pu, Geguang, Vardi, Moshe Y

“… Here, we present a thorough investigation on two classical minimization algorithms, namely, the Hopcroft and Brzozowski algorithms …”
Volltext

Extension of Brzozowski’s derivation calculus of rational expressions to series over the free partially commutative monoids von Berstel, Jean, Reutenauer, Christophe

“… We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The …”
Volltext

Position Automata for Kleene Algebra with Tests von Silva, Alexandra

“… This algorithm generalizes Brzozowski's algorithm for regular expressions and inherits its inefficiency arising from the explicit computation …”
Volltext

Coalgebraic trace semantics via forgetful logics von Klin, Bartek, Rot, Jurriaan

“… That procedure is closely related to Brzozowski's minimization algorithm …”
Volltext

Finite determinization of fuzzy automata using a parametric product-based t-norm von Micić, Ivana, Stanimirović, Stefan, González de Mendívil, José Ramón, Ćirić, Miroslav, Jančić, Zorana

“… However, using the parametric t-norm, we obtain an algorithm that outputs a finite minimal deterministic fuzzy automaton whose behavior differs from the starting fuzzy automaton described above …”
Volltext

Automata Minimization: a Functorial Approach von Colcombet, Thomas, Petrişan, Daniela

“… In this paper we regard languages and their acceptors - such as deterministic or weighted automata, transducers, or monoids - as functors from input categories …”
Volltext

Certified Parsing of Dependent Regular Grammars von Sarracino, John, Tan, Gang, Morrisett, Greg

“… bind.However, it is not obvious how to actually parse dependent regular grammars. We implement a Brzozowski derivative based matching algorithm, and we show how many …”
Volltext

POSIX Lexing with Derivatives of Regular Expressions von Urban, Christian

“… Brzozowski introduced the notion of derivatives for regular expressions. They can be used for a very simple regular expression matching algorithm …”
Volltext

Experimental evaluation of explicit and symbolic automata-theoretic algorithms von Tabakov, Deian

“… I propose a probabilistic framework for testing the performance of automata-theoretic algorithms, and use it to compare empirically Brzozowski's and Hopcroft's minimization algorithms …”
Volltext