Search Results - Brzozowski's algorithm

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

Get full text

Nondeterministic Moore automata and Brzozowski’s minimization algorithm by 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…”
Get full text

Polynomial crisp-minimization algorithm for fuzzy deterministic automata by 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…”
Get full text

Automata Minimization: a Functorial Approach by 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…”
Get full text

Standard Sturmian words and automata minimization algorithms by 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…”
Get full text

A polynomial double reversal minimization algorithm for deterministic finite automata by 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…”
Get full text

Minimal Determinization Algorithm for Fuzzy Automata by 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…”
Get full text

Further improvements of determinization methods for fuzzy finite automata by 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…”
Get full text

Canonization of max-min fuzzy automata by 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…”
Get full text

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

Get full text

Partial derivatives of regular expressions and finite automaton constructions by 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…”
Get full text

On the Power of Automata Minimization in Reactive Synthesis by 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…”
Get full text

Extension of Brzozowski’s derivation calculus of rational expressions to series over the free partially commutative monoids by 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…”
Get full text

Position Automata for Kleene Algebra with Tests by Silva, Alexandra

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

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

“… That procedure is closely related to Brzozowski's minimization algorithm…”
Get full text

Finite determinization of fuzzy automata using a parametric product-based t-norm by 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…”
Get full text

Automata Minimization: a Functorial Approach by 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…”
Get full text

Certified Parsing of Dependent Regular Grammars by 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…”
Get full text

POSIX Lexing with Derivatives of Regular Expressions by Urban, Christian

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

Experimental evaluation of explicit and symbolic automata-theoretic algorithms by 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…”
Get full text