k 2007

Hierarchies of piecewise testable languages

KLÍMA, Ondřej a Libor POLÁK

Základní údaje

Originální název

Hierarchies of piecewise testable languages

Název česky

Hierarchie po částech testovatelných jazyků

Autoři

KLÍMA, Ondřej a Libor POLÁK

Vydání

75th Workshop on General Algebra, Darmstadt University of Technology, November 2-4, 2007, 2007

Další údaje

Typ výsledku

Prezentace na konferencích

Obor

10101 Pure mathematics

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ne

Organizační jednotka

Přírodovědecká fakulta

Příznaky

Mezinárodní význam
Změněno: 29. 6. 2008 18:23, doc. RNDr. Libor Polák, CSc.

Anotace

ORIG CZ

V originále

The topic of the talk is an algebraic language theory. It is well known that a language is piecewise testable if and only if its syntactic monoid is finite and J-trivial. We describe several classes of piecewise testable languages and we give characteristic properties of their syntactic structures.

Česky

Výsledek náleží do oblasti algebraické teorie jazyků. Je všeobecně známo, že jazyk je po částech testovatelný právě tehdy, když je jeho syntaktický monoid konečný a J-triviální. V práci popisujeme mnoho tříd po částech testovatelných jazyků a charakterizujeme je pomocí vlastností jejich syntaktických struktur.

Návaznosti

GA201/06/0936, projekt VaV
Název: Algebraické metody v teorii automatů a formálních jazyků
Investor: Grantová agentura ČR, Algebraické metody v teorii automatů a formálních jazyků
MSM0021622409, záměr
Název: Matematické struktury a jejich fyzikální aplikace
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury a jejich fyzikální aplikace