Non-termination using regular languages

J. Endrullis, H. Zantema

Onderzoeksoutput: Boek/rapportRapportAcademic

26 Downloads (Pure)

Samenvatting

We describe a method for proving non-termination of term rewriting systems that do not admit looping reductions. As certi¿cates of non-termination, we employ regular (tree) automata.
Originele taal-2Engels
Uitgeverijs.n.
Aantal pagina's6
StatusGepubliceerd - 2014

Publicatie series

NaamarXiv
Volume1405.5662 [cs.LO]

Vingerafdruk Duik in de onderzoeksthema's van 'Non-termination using regular languages'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Endrullis, J., & Zantema, H. (2014). Non-termination using regular languages. (arXiv; Vol. 1405.5662 [cs.LO]). s.n.