带反转的公式的可避免性

RAIRO Theor. Informatics Appl. Pub Date : 2017-03-30 DOI:10.1051/ita/2017013

J. Currie, Lucas Mol, N. Rampersad

{"title":"带反转的公式的可避免性","authors":"J. Currie, Lucas Mol, N. Rampersad","doi":"10.1051/ita/2017013","DOIUrl":null,"url":null,"abstract":"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$).","PeriodicalId":438841,"journal":{"name":"RAIRO Theor. Informatics Appl.","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"On avoidability of formulas with reversal\",\"authors\":\"J. Currie, Lucas Mol, N. Rampersad\",\"doi\":\"10.1051/ita/2017013\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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$).\",\"PeriodicalId\":438841,\"journal\":{\"name\":\"RAIRO Theor. Informatics Appl.\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-03-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"RAIRO Theor. Informatics Appl.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1051/ita/2017013\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"RAIRO Theor. Informatics Appl.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1051/ita/2017013","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

虽然不可避免的公式(没有反转)的特征是众所周知的，但对于一般具有反转的公式的可避免性知之甚少。在本文中，我们描述了具有反转的不可避免的公式，它最多有两个单向变量(如果$x$和$x^R$恰好出现在$\phi$中，则$x$是具有反转的公式$\phi$中的单向变量)。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

On avoidability of formulas with reversal

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$).

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

RAIRO Theor. Informatics Appl.

自引率

0.00%

发文量