One-pass reductions
We study OI and IO one-pass reduction sequences with term rewrite systems. We present second order decidability and undecidability results on recognizable tree languages and one-pass reductions. For left-linear TRSs, the second order OI inclusion problem and the second order OI reachability problem...
Elmentve itt :
Szerző: | Vágvölgyi Sándor |
---|---|
Dokumentumtípus: | Cikk |
Megjelent: |
2016
|
Sorozat: | Acta cybernetica
22 No. 3 |
Kulcsszavak: | Programozás |
Tárgyszavak: | |
doi: | 10.14232/actacyb.22.3.2016.6 |
Online Access: | http://acta.bibl.u-szeged.hu/40267 |
Hasonló tételek
-
On one-pass term rewriting
Szerző: Fülöp Zoltán, et al.
Megjelent: (1999) -
Some decidability results on one-pass reductions
Szerző: Vágvölgyi Sándor
Megjelent: (2019) -
On one-pass term rewriting and Tree recognizers with comparisons between brothers [abstract] /
Szerző: Rönkä Matti
Megjelent: (2002) -
Atomic characterizations of uniform multi-pass attribute grammars
Szerző: Gombás Éva, et al.
Megjelent: (1985) -
Frontiers of one-letter languages
Szerző: Bloom Stephen L.
Megjelent: (1985)