On avoidability of formulas with reversal

Autor: Narad Rampersad, James D. Currie, Lucas Mol
Jazyk: angličtina
Rok vydání: 2017
Předmět:
Popis: While a characterization of unavoidable formulas (without reversal) is well-known, little is known about the avoidability of formulas with reversal in general. In this article, we characterize the unavoidable formulas with reversal that have at most two one-way variables ($x$ is a one-way variable in formula with reversal $\phi$ if exactly one of $x$ and $x^R$ appears in $\phi$).
Comment: 14 pages
Databáze: OpenAIRE