Jednoduché polopodmínkové verze maticových gramatik s omezeným regulačním mechanizmem

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F04%3APU49348" target="_blank" >RIV/00216305:26230/04:PU49348 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Simple-Semi-Conditional Versions of Matrix Grammars with a Reduced Regulating Mechanism

Popis výsledku v původním jazyce

This paper discusses some conditional versions of matrix grammars. It establishes several characterizations of the family of the recursively enumerable languages based on these grammars. In fact, making use of the Geffert Normal forms, the present paperdemonstrates these characterizations based on matrix grammars with conditions of a limited length, a reduced number of nonterminals, and a reduced number and size of matrices.<br>

Název v anglickém jazyce

Simple-Semi-Conditional Versions of Matrix Grammars with a Reduced Regulating Mechanism

Popis výsledku anglicky

This paper discusses some conditional versions of matrix grammars. It establishes several characterizations of the family of the recursively enumerable languages based on these grammars. In fact, making use of the Geffert Normal forms, the present paperdemonstrates these characterizations based on matrix grammars with conditions of a limited length, a reduced number of nonterminals, and a reduced number and size of matrices.<br>

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

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

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F04%2F0441" target="_blank" >GA201/04/0441: Vhodně sloučené modely pro moderní informační technologie</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2004

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 periodika

Computing and Informatics

ISSN

1335-9150

e-ISSN

—

Svazek periodika

2004

Číslo periodika v rámci svazku

23

Stát vydavatele periodika

SK - Slovenská republika

Počet stran výsledku

16

Strana od-do

287-302

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—