×

Found 1,102 Documents (Results 1–100)

Deciding non-emptiness of hypergraph languages generated by connection-preserving fusion grammars is NP-complete. (English) Zbl 07405980

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 97-108 (2021).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Forward bisimulations for nondeterministic symbolic finite automata. (English) Zbl 1452.68103

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 518-534 (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Two-dimensional palindromes and their properties. (English) Zbl 1485.68206

Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 155-167 (2017).
MSC:  68R15 68Q45
PDFBibTeX XMLCite
Full Text: DOI

On the formalization of some results of context-free language theory. (English) Zbl 1478.68133

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 338-357 (2016).
MSC:  68Q45 68Q42 68V20
PDFBibTeX XMLCite
Full Text: DOI Link

A formalisation of the Myhill-Nerode theorem based on regular expressions (proof pearl). (English) Zbl 1342.68306

Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 341-356 (2011).
MSC:  68T15 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software