Výsledky vyhľadávania - Brzozowski's algorithm

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

Získať plný text

Nondeterministic Moore automata and Brzozowski’s minimization algorithm Autor 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…”
Získať plný text

Polynomial crisp-minimization algorithm for fuzzy deterministic automata Autor 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…”
Získať plný text

Automata Minimization: a Functorial Approach Autor 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…”
Získať plný text

Standard Sturmian words and automata minimization algorithms Autor 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…”
Získať plný text

A polynomial double reversal minimization algorithm for deterministic finite automata Autor 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…”
Získať plný text

Minimal Determinization Algorithm for Fuzzy Automata Autor 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…”
Získať plný text

Further improvements of determinization methods for fuzzy finite automata Autor 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…”
Získať plný text

Canonization of max-min fuzzy automata Autor 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…”
Získať plný text

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

Získať plný text

Partial derivatives of regular expressions and finite automaton constructions Autor 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…”
Získať plný text

On the Power of Automata Minimization in Reactive Synthesis Autor 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…”
Získať plný text

Extension of Brzozowski’s derivation calculus of rational expressions to series over the free partially commutative monoids Autor 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…”
Získať plný text

Position Automata for Kleene Algebra with Tests Autor Silva, Alexandra

“… This algorithm generalizes Brzozowski's algorithm for regular expressions and inherits its inefficiency arising from the explicit computation…”
Získať plný text

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

“… That procedure is closely related to Brzozowski's minimization algorithm…”
Získať plný text

Finite determinization of fuzzy automata using a parametric product-based t-norm Autor 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…”
Získať plný text

Automata Minimization: a Functorial Approach Autor 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…”
Získať plný text

Certified Parsing of Dependent Regular Grammars Autor 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…”
Získať plný text

POSIX Lexing with Derivatives of Regular Expressions Autor Urban, Christian

“…Brzozowski introduced the notion of derivatives for regular expressions. They can be used for a very simple regular expression matching algorithm…”
Získať plný text

Experimental evaluation of explicit and symbolic automata-theoretic algorithms Autor 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…”
Získať plný text