Complexity of right-ideal, prefix-closed, and prefix-free regular languages
A language L over an alphabet Σ is prefix-convex if, for any words x, y, z ϵ Σ* , whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages as special cases. We examine complexity properties of these special prefix-convex langua...
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2017
|
| Sorozat: | Acta cybernetica
23 No. 1 |
| Kulcsszavak: | Kibernetika - nyelvészet, Matematikai nyelvészet |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.23.1.2017.3 |
| Online Access: | http://acta.bibl.u-szeged.hu/50061 |
| LEADER | 01687nab a2200253 i 4500 | ||
|---|---|---|---|
| 001 | acta50061 | ||
| 005 | 20220620141704.0 | ||
| 008 | 180212s2017 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 024 | 7 | |a 10.14232/actacyb.23.1.2017.3 |2 doi | |
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Brzozowski Janusz | |
| 245 | 1 | 0 | |a Complexity of right-ideal, prefix-closed, and prefix-free regular languages |h [elektronikus dokumentum] / |c Brzozowski Janusz |
| 260 | |c 2017 | ||
| 300 | |a 9-41 | ||
| 490 | 0 | |a Acta cybernetica |v 23 No. 1 | |
| 520 | 3 | |a A language L over an alphabet Σ is prefix-convex if, for any words x, y, z ϵ Σ* , whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages as special cases. We examine complexity properties of these special prefix-convex languages. In particular, we study the quotient/state complexity of boolean operations, product (concatenation), star, and reversal, the size of the syntactic semigroup, and the quotient complexity of atoms. For binary operations we use arguments with different alphabets when appropriate; this leads to higher tight upper bounds than those obtained with equal alphabets. We exhibit right-ideal, prefix-closed, and prefix-free languages that meet the complexity bounds for all the measures listed above. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Matematika | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Kibernetika - nyelvészet, Matematikai nyelvészet | ||
| 700 | 0 | 1 | |a Sinnamon Corwin |e aut |
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/50061/1/actacyb_23_1_2017_3.pdf |z Dokumentum-elérés |