×

Found 4,868 Documents (Results 1–100)

A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages. (English) Zbl 07722356

Barneva, Reneta P. (ed.) et al., Combinatorial image analysis. 21st international workshop, IWCIA 2022, Messina, Italy, July 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13348, 154-170 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions. (English. Ukrainian original) Zbl 1510.68006

Cybern. Syst. Anal. 59, No. 2, 190-198 (2023); translation from Kibern. Sist. Anal. 59, No. 2, 18-26 (2023).
MSC:  68M07 68Q45
PDFBibTeX XMLCite
Full Text: DOI

State identification and verification with satisfaction. (English) Zbl 1524.68176

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 450-466 (2022).
MSC:  68Q45 68Q60 68R07
PDFBibTeX XMLCite
Full Text: DOI

Formal methods for NFA equivalence: QBFs, witness extraction, and encoding verification. (English) Zbl 07691303

Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 241-255 (2022).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

State complexity of finite partial languages. (English) Zbl 07643471

Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 24th IFIP WG 1.02 international conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13439, 170-183 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

State complexity of binary coded regular languages. (English) Zbl 07643464

Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 24th IFIP WG 1.02 international conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13439, 72-84 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software