On DOL systems with finite axiom sets
We give a new solution for the language equivalence problem of D0L systems with finite axiom sets by using the decidability of the equivalence problem of finite valued transducers on HDT0L languages proved by Culik II and Karhumäki.
Elmentve itt :
| Szerző: | |
|---|---|
| Testületi szerző: | |
| Dokumentumtípus: | Cikk |
| Megjelent: |
2003
|
| Sorozat: | Acta cybernetica
16 No. 1 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12706 |
| LEADER | 01039nab a2200229 i 4500 | ||
|---|---|---|---|
| 001 | acta12706 | ||
| 005 | 20220614155545.0 | ||
| 008 | 161015s2003 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Honkala Juha | |
| 245 | 1 | 3 | |a On DOL systems with finite axiom sets |h [elektronikus dokumentum] / |c Honkala Juha |
| 260 | |c 2003 | ||
| 300 | |a 29-35 | ||
| 490 | 0 | |a Acta cybernetica |v 16 No. 1 | |
| 520 | 3 | |a We give a new solution for the language equivalence problem of D0L systems with finite axiom sets by using the decidability of the equivalence problem of finite valued transducers on HDT0L languages proved by Culik II and Karhumäki. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Számítástechnika, Kibernetika | ||
| 710 | |a Conference for PhD Students in Computer Science (3.) (2002) (Szeged) | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/12706/1/cybernetica_016_numb_001_029-035.pdf |z Dokumentum-elérés |