Simple Matrix Grammars and Their Leftmost Variants

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APU121559" target="_blank" >RIV/00216305:26230/16:PU121559 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.worldscientific.com/doi/10.1142/S0129054116400141" target="_blank" >http://www.worldscientific.com/doi/10.1142/S0129054116400141</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1142/S0129054116400141" target="_blank" >10.1142/S0129054116400141</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Simple Matrix Grammars and Their Leftmost Variants

Popis výsledku v původním jazyce

In essence, simple matrix grammars can be seen as sequences of context-free grammars, referred to as their components, which work in parallel. The present paper demonstrates that two-component simple matrix grammars are as powerful as ordinary matrix grammars. Then, it places three leftmost derivation restrictions upon these grammars and demonstrates that under two of these restrictions, simple matrix grammars are computational complete--that is, they are equivalent with Turing machines. From a historical perspective, concerning simple matrix grammars, the paper also makes several remarks that correct false statements published about them in the past.

Název v anglickém jazyce

Simple Matrix Grammars and Their Leftmost Variants

Popis výsledku anglicky

In essence, simple matrix grammars can be seen as sequences of context-free grammars, referred to as their components, which work in parallel. The present paper demonstrates that two-component simple matrix grammars are as powerful as ordinary matrix grammars. Then, it places three leftmost derivation restrictions upon these grammars and demonstrates that under two of these restrictions, simple matrix grammars are computational complete--that is, they are equivalent with Turing machines. From a historical perspective, concerning simple matrix grammars, the paper also makes several remarks that correct false statements published about them in the past.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2016

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

International Journal of Foundations of Computer Science

ISSN

0129-0541

e-ISSN

1793-6373

Svazek periodika

27

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

SG - Singapurská republika

Počet stran výsledku

15

Strana od-do

359-373

Kód UT WoS článku

000378637600005

EID výsledku v databázi Scopus

2-s2.0-84973547707