Honkala Juha: On DOL systems with finite axiom sets. In: Acta cybernetica, (16) 1. pp. 29-35. (2003)
Előnézet |
Cikk, tanulmány, mű
cybernetica_016_numb_001_029-035.pdf Letöltés (793kB) | Előnézet |
Absztrakt (kivonat)
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.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 2003 |
| Kötet: | 16 |
| Szám: | 1 |
| ISSN: | 0324-721X |
| Oldalak: | pp. 29-35 |
| Nyelv: | angol |
| Kiadás helye: | Szeged |
| Konferencia neve: | Conference for PhD Students in Computer Science (3.) (2002) (Szeged) |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/38515/ |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Megjegyzések: | Bibliogr.: 35. p. ; összefoglalás angol nyelven |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Feltöltés dátuma: | 2016. okt. 15. 12:25 |
| Utolsó módosítás: | 2022. jún. 14. 15:55 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/12706 |
 |
Tétel nézet |
