Bar Codes for Regular Languages

Regular expressions and finite automata represent regular languages. The link between these two mathematical structures is the subject of many research topics. Each one of these models gets advantages and inconveniences. In this document, new regular operators are defined, the multitildes- bars, which create a new expression model falling in the range of finite automata to simple regular expressions, which uses concatenation, union, and Kleene's star. Multi-tildes-bars are based on simple regular operations, namely the adjunction or the elimination of the empty word. Several classical conversions between simple regular expressions and finite automata are extended to these new operators. Finally, we show that these new expressions have an exponential factorization power with respect to the one of simple regular expressions. Keywords

Data and Resources

Additional Info

Field Value
Source https://theses.hal.science/tel-00794580
Author Mignot, Ludovic
Maintainer CCSD
Last Updated May 14, 2026, 03:40 (UTC)
Created May 14, 2026, 03:40 (UTC)
Identifier tel-00794580
Language fr
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS) ; Université Le Havre Normandie (ULH) ; Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN) ; Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie) ; Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)
creator Mignot, Ludovic
date 2010-10-15T00:00:00
harvest_object_id b2dd9cc6-346a-4169-b099-c15f8f11c832
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2023-12-22T00:00:00
set_spec type:THESE