Řetězce-rozdělující systémy a nekonečná hierarchie

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU67152" target="_blank" >RIV/00216305:26230/06:PU67152 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

String-Partitioning Systems and An Infinite Hierarchy

Popis výsledku v původním jazyce

This paper introduces and discusses string-partitioning systems. <br>This formalization consists of partitioning the rewritten string into several parts, which the <br>systems rewrite by rules that specify to which part they are applied.&nbsp; Based on the number of parts, the present paper establishes an infinite hierarchy of language families that coincides with the hierarchy resulting from the programmed grammars of finite index, so these systems actually represent a counterpart to these grammars.&nbsp; In its conclusion, this paper suggests&nbsp; some open problem areas.

Název v anglickém jazyce

String-Partitioning Systems and An Infinite Hierarchy

Popis výsledku anglicky

This paper introduces and discusses string-partitioning systems. <br>This formalization consists of partitioning the rewritten string into several parts, which the <br>systems rewrite by rules that specify to which part they are applied.&nbsp; Based on the number of parts, the present paper establishes an infinite hierarchy of language families that coincides with the hierarchy resulting from the programmed grammars of finite index, so these systems actually represent a counterpart to these grammars.&nbsp; In its conclusion, this paper suggests&nbsp; some open problem areas.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2006

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of 1st International Workshop on Formal Models (WFM'06)

ISBN

80-86840-20-4

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

53-60

Název nakladatele

NEUVEDEN

Místo vydání

Ostrava

Místo konání akce

Přerov

Datum konání akce

25. 4. 2006

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—