Cargando…
How to Prove that a Language Is Regular or Star-Free?
This survey article presents some standard and less standard methods used to prove that a language is regular or star-free.
Autor principal: | Pin, Jean-Éric |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7206632/ http://dx.doi.org/10.1007/978-3-030-40608-0_5 |
Ejemplares similares
-
How to prove the existence of metabolons?
por: Bassard, Jean-Etienne, et al.
Publicado: (2017) -
Geometrically Closed Positive Varieties of Star-Free Languages
por: Klíma, Ondřej, et al.
Publicado: (2020) -
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
por: Ullrich, Sebastian, et al.
Publicado: (2020) -
How to Prove the Value Proposition of Spine Surgery
por: Chapman, Jens
Publicado: (2014) -
Automation in language translation and theorem proving: some applications of mathematical logic
por: Van Scheepen, Francs, et al.
Publicado: (1968)