Search Results - Brzozowski's algorithm

On Brzozowski’s algorithm, pumping lemma, and monoid representation for a typical hesitant fuzzy multiset language

Authors: Sunny Verma Vijay K. Yadav Shainky Ruhela et al.

Source: International Journal of Information Technology.

Brzozowski’s Algorithm for Automata Minimization Verified in Coq

Authors: Filipe Ramos Karina Girardi Roggia Rafael Castro G. Silva

Source: Lecture Notes in Computer Science ISBN: 9783031781155

Brzozowski's and up-to algorithms for must testing

Authors: Bonchi, Filippo Caltais, Georgiana Pous, Damien et al.

Contributors: Bonchi, Filippo Caltais, Georgiana Pous, Damien et al.

File Description: application/pdf

Relation: 978-3-319-03541-3; 0302-9743

Availability: https://hdl.handle.net/1822/38259

Average Case Analysis of Brzozowski's Algorithm

Authors: de Felice, Sven Nicaud, Cyril Gambette, Philippe

Contributors: de Felice, Sven Nicaud, Cyril Gambette, Philippe

Source: International Journal of Foundations of Computer Science. 27:109-126

Subject Terms: automata minimization, 4. Education, 0202 electrical engineering, electronic engineering, information engineering, average case analysis, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Brzozowski's algorithm, 01 natural sciences, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Access URL: https://hal-upec-upem.archives-ouvertes.fr/hal-01772820/file/ijfcs16.pdf
https://hal-upec-upem.archives-ouvertes.fr/hal-01772820/document
https://hal-upec-upem.archives-ouvertes.fr/hal-01772820
https://www.worldscientific.com/doi/abs/10.1142/S0129054116400025
https://dblp.uni-trier.de/db/journals/ijfcs/ijfcs27.html#FeliceN16
https://hal.science/hal-01772820v1/document
https://doi.org/10.1142/s0129054116400025
https://hal.science/hal-01772820v1

Category of L-valued Multiset Automata and Brzozowski’s Algorithm

Authors: Priyanka Pal S. P. Tiwari

Source: New Mathematics and Natural Computation. 16:481-496

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Access URL: https://www.worldscientific.com/doi/abs/10.1142/S1793005720500295

EFFICIENT DETERMINISTIC FINITE AUTOMATA SPLIT-MINIMIZATION DERIVED FROM BRZOZOWSKI'S ALGORITHM

Authors: García Gómez, Pedro López Rodríguez, Damián Vázquez-De-Parga Andrade, Manuel et al.

Contributors: García Gómez, Pedro López Rodríguez, Damián Vázquez-De-Parga Andrade, Manuel et al.

Source: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
instname

Subject Terms: 2. Zero hunger, Brzozowski s algorithm, 0202 electrical engineering, electronic engineering, information engineering, DFA minimization, Hopcroft s algorithm, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, LENGUAJES Y SISTEMAS INFORMATICOS, 01 natural sciences, 6. Clean water

File Description: application/pdf

Access URL: https://riunet.upv.es/bitstream/10251/50974/3/pgarcia_et_al.pdf
https://riunet.upv.es/handle/10251/50974
https://riunet.upv.es/handle/10251/50974
https://riunet.upv.es/bitstream/10251/50974/3/pgarcia_et_al.pdf
http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs25.html#GarciaLP14
https://www.worldscientific.com/doi/10.1142/S0129054114500282
https://dblp.uni-trier.de/db/journals/ijfcs/ijfcs25.html#GarciaLP14

Algebra-coalgebra duality in brzozowski's minimization algorithm

Authors: Bonchi, F. Bonsangue, M.M. Hansen, H.H. et al.

Contributors: Bonchi, F. Bonsangue, M.M. Hansen, H.H. et al.

Source: ACM Transactions on Computational Logic, 15, 1, pp. 3(1)-3(29)

Subject Terms: Algebra, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], automata, Automata, Coalgebra, Duality, Theoretical Computer Science, Computer Science (all), Logic, Computational Mathematics, Data Science, duality, Theory, 0102 computer and information sciences, 0101 mathematics, coalgebra, 16. Peace & justice, 01 natural sciences, Algorithms

File Description: application/pdf

Access URL: http://repositorium.sdum.uminho.pt/bitstream/1822/34733/1/1996.pdf
https://repositorium.sdum.uminho.pt/bitstream/1822/34733/1/1996.pdf
https://dl.acm.org/doi/10.1145/2490818
https://hal.archives-ouvertes.fr/hal-00909426
https://hal.inria.fr/hal-00909426/
https://haslab.uminho.pt/xana/publications/algebra-coalgebra-duality-brzozowskis-minimization-algorithm
http://repository.ubn.ru.nl/handle/2066/127972
http://repository.ubn.ru.nl/handle/2066/127972
https://repository.ubn.ru.nl//bitstream/handle/2066/127972/127972.pdf
https://hal.science/hal-00909426v1
https://doi.org/10.1145/2490818
https://hdl.handle.net/11568/899014
https://doi.org/10.1145/2490818
https://hdl.handle.net/1822/34733

On minimal realization for a fuzzy language and Brzozowski’s algorithm

Authors: Bijan Davvaz Vinay Gautam Surya Prakash Tiwari

Source: Journal of Intelligent & Fuzzy Systems. 29:1949-1956

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Polynomial crisp-minimization algorithm for fuzzy deterministic automata

Authors: Aitor González de Mendívil Grau Federico Fariña Stefan Stanimirović et al.

Contributors: Aitor González de Mendívil Grau Federico Fariña Stefan Stanimirović et al.

Source: Academica-e. Repositorio Institucional de la Universidad Pública de Navarra
Universidad Pública de Navarra

Subject Terms: Locally finite lattices, Fuzzy átomaton, 0202 electrical engineering, electronic engineering, information engineering, Deterministic fuzzy automaton, Minimization algorithm, 0102 computer and information sciences, 02 engineering and technology, Brzozowski's algorithm, 01 natural sciences

File Description: application/pdf

Access URL: https://academica-e.unavarra.es/handle/2454/52449

Efficient deterministic finite automata split-minimization derived from Brzozowski's algorithm

Authors: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació García Gómez, Pedro López Rodríguez, Damián et al.

Index Terms: DFA minimization, Brzozowski s algorithm, Hopcroft s algorithm, LENGUAJES Y SISTEMAS INFORMATICOS, info:eu-repo/semantics/article

URL: http://hdl.handle.net/10251/50974

Double edge class BD hybrid DPWM implementation using linearized LBDD algorithm / Jacek Jasielski, Stanisław Kuta, Witold Machowski, Ireneusz Brzozowski, Wojciech Kołodziejski.

Authors: Jasielski, Jacek. Machowski, Witold. Kuta, Stanisław (1942- ). et al.

Contributors: Jasielski, Jacek. Machowski, Witold. Kuta, Stanisław (1942- ). et al.

Source: Bibliogr. s. 214.

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:3901364&theme=nukat

On the Average Complexity of Brzozowski’s Algorithm for Deterministic Automata with a Small Number of Final States

Authors: de Felice, Sven Nicaud, Cyril Gambette, Philippe et al.

Contributors: de Felice, Sven Nicaud, Cyril Gambette, Philippe et al.

Source: Lecture Notes in Computer Science ISBN: 9783319096971

Subject Terms: 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Access URL: https://hal-upec-upem.archives-ouvertes.fr/hal-01772856/file/dlt14.pdf
https://rd.springer.com/chapter/10.1007/978-3-319-09698-8_3
https://link.springer.com/chapter/10.1007/978-3-319-09698-8_3
https://dblp.uni-trier.de/db/conf/dlt/dlt2014.html#FeliceN14
https://hal.science/hal-01772856v1
https://doi.org/10.1007/978-3-319-09698-8_3
https://hal.science/hal-01772856v1/document

Nondeterministic Moore Automata and Brzozowski’s Algorithm

Authors: CASTIGLIONE, Giuseppa RESTIVO, Antonio SCIORTINO, Marinella

Source: Lecture Notes in Computer Science ISBN: 9783642222559

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, Moore automata, minimization, Brzozowski'algorithm, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://dblp.uni-trier.de/db/conf/wia/ciaa2011.html#CastiglioneRS11
https://link.springer.com/10.1007%2F978-3-642-22256-6_9
https://rd.springer.com/chapter/10.1007%2F978-3-642-22256-6_9
https://link.springer.com/chapter/10.1007%2F978-3-642-22256-6_9
https://core.ac.uk/display/53274693
https://hdl.handle.net/10447/62398
https://doi.org/10.1007/978-3-642-22256-6_9

Brzozowski’s Algorithm (Co)Algebraically

Authors: Bonchi, Filippo Bonsangue, Marcello M. Rutten, Jan J. M. M. et al.

Contributors: Bonchi, Filippo Bonsangue, Marcello M. Rutten, Jan J. M. M. et al.

Source: Lecture Notes in Computer Science ISBN: 9783642294846
Constable, R.; Silva, A. (ed.), Logic and Program Semantics, pp. 12-23

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Data Science, Lecture Notes in Computer Science, Theoretical Computer Science, Computer Science (all), 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

Access URL: http://www.cwi.nl/%7Ejanr/papers/files-of-papers/2011_SEN1114.pdf
http://www.alexandrasilva.org/files/RechabilityObservability.pdf
https://www.alexandrasilva.org/files/RechabilityObservability.pdf
https://ir.cwi.nl/pub/18796
https://haslab.uminho.pt/xana/publications/brzozowskis-algorithm-coalgebraically
https://rd.springer.com/chapter/10.1007/978-3-642-29485-3_2
https://link.springer.com/chapter/10.1007%2F978-3-642-29485-3_2
https://hal.science/hal-00798062v1

Brzozowski's algorithm (co)algebraically

Authors: Bonchi, F. (Filippo) Bonsangue, M.M. (Marcello) Rutten, J.J.M.M. (Jan) et al.

Index Terms: info:eu-repo/semantics/other

URL: http://ir.cwi.nl/pub/18796

Brzozowski’s Algorithm (Co)Algebraically

Authors: Constable, R. Silva, A. Bonchi, F. et al.

Source: Constable, R.; Silva, A. (ed.), Logic and Program Semantics; 12; 23; 9783642294846; Lecture Notes in Computer Science ; 7230; Constable, R.; Silva, A. (ed.), Logic and Program Semantics~~12~23~~9783642294846~~~~Lecture Notes in Computer Science ; 7230~

URL: http://hdl.handle.net/2066/93774
Lecture Notes in Computer Science ; 7230

Brzozowski's algorithm (co)algebraically.

Authors: Constable, R.L. Silva, A.M. (Alexandra) Bonchi, F. (Filippo) et al.

Index Terms: info:eu-repo/semantics/bookPart

URL: http://ir.cwi.nl/pub/20877

Brzozowski's Algorithm (Co)Algebraically.

Authors: Bonchi, F.

Subjects: Lecture Notes in Computer Science., Data Science.

Index Terms: Part of book or chapter of book.

URL: http://hdl.handle.net/2066/93774
https://doi.org/10.1007/978-3-642-29485-3_2

Category of L-valued Multiset Automata and Brzozowski's Algorithm.

Authors: Pal, Priyanka Tiwari, S. P.

Source: New Mathematics & Natural Computation; Nov2020, Vol. 16 Issue 03, p481-496, 16p

Subject Terms: MACHINE theory, ALGORITHMS, ROBOTS, HOMOMORPHISMS

Regular expressions for timed automata

Authors: Ribeiro, Paulo Barbosa, Luís Nuno Sousa Martinho Soares Neves, Renato Jorge Araújo et al.

Contributors: Ribeiro, Paulo Barbosa, Luís Nuno Sousa Martinho Soares Neves, Renato Jorge Araújo et al.

Source: urn:tid:203007948

Subject Terms: Algorithm, Timed regular expression, Brzozowski's method, Software tool, Algoritmo, Expressões regulares temporais, Método de Brzozowski, Ferramenta de software

File Description: application/pdf

Availability: https://hdl.handle.net/1822/79740