Další formáty:
BibTeX
LaTeX
RIS
@article{854628, author = {Klíma, Ondřej and Almeida, Jorge}, article_number = {1}, keywords = {Formal languages; Regular languages; Concatenation hierarchies; Level two; Star-free languages}, language = {eng}, issn = {0020-0190}, journal = {Information Processing Letters}, title = {A counterexample to a conjecture concerning concatenation hierarchies}, volume = {110}, year = {2009} }
TY - JOUR ID - 854628 AU - Klíma, Ondřej - Almeida, Jorge PY - 2009 TI - A counterexample to a conjecture concerning concatenation hierarchies JF - Information Processing Letters VL - 110 IS - 1 SP - 4 - 7 EP - 4 - 7 PB - Elsevier SN - 00200190 KW - Formal languages KW - Regular languages KW - Concatenation hierarchies KW - Level two KW - Star-free languages N2 - We give a counterexample to the conjecture which was originally formulated by Straubing in 1986 concerning a certain algebraic characterization of regular languages of level 2 in the Straubing Thérien concatenation hierarchy of star free languages. ER -
KLÍMA, Ondřej a Jorge ALMEIDA. A counterexample to a conjecture concerning concatenation hierarchies. \textit{Information Processing Letters}. Elsevier, 2009, roč.~110, č.~1, s.~4 - 7. ISSN~0020-0190.
|