Finding finite automata that certify termination of string rewriting

A. Geser, D. Hofbauer, J. Waldmann, H. Zantema

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
2 Downloads (Pure)

Samenvatting

We present a technique based on the construction of finite automata to prove termination of string rewriting systems. Using this technique the tools Matchbox and TORPA are able to prove termination of particular string rewriting systems completely automatically for which termination was considered to be very hard until recently.
Originele taal-2Engels
TitelImplementation and Application of Automata (Revised Selected Papers, Ninth International Conference, CIAA 2004, Kingston ON, Canada, July 22-24, 2004)
RedacteurenM. Domaratzki, A. Okhotin, K. Salomaa, S. Yu
Plaats van productieBerlin
UitgeverijSpringer
Pagina's134-145
ISBN van geprinte versie3-540-24318-6
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamLecture Notes in Computer Science
Volume3317
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Finding finite automata that certify termination of string rewriting'. Samen vormen ze een unieke vingerafdruk.

Citeer dit