About: The Leftmost Derivation of Type Two in Matrix Grammars

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: The Leftmost Derivation of Type Two in Matrix Grammars Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	This contribution discusses the descriptional complexity of matrix grammars using left-most derivation of type two with respect to the number of nonterminals and matrices with two or more productions. It proves that these matrix grammars need only nine nonterminals and six matrices of length two or more to generate recursively enumerable languages. This contribution discusses the descriptional complexity of matrix grammars using left-most derivation of type two with respect to the number of nonterminals and matrices with two or more productions. It proves that these matrix grammars need only nine nonterminals and six matrices of length two or more to generate recursively enumerable languages. (en)
Title	The Leftmost Derivation of Type Two in Matrix Grammars The Leftmost Derivation of Type Two in Matrix Grammars (en)
skos:prefLabel	The Leftmost Derivation of Type Two in Matrix Grammars The Leftmost Derivation of Type Two in Matrix Grammars (en)
skos:notation	RIV/00216305:26230/03:PU42552!RIV11-MSM-26230___
http://linked.open...avai/riv/aktivita	N V Z
http://linked.open...avai/riv/aktivity	N, V, Z(MSM 262200012)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Škrkal, Oto
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	613342
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/03:PU42552
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Formal language theory, regulated rewriting, matrix grammars, canonical derivations, complexity reduction. (en)
http://linked.open.../riv/klicoveSlovo	matrix grammars regulated rewriting Formal language theory canonical derivations complexity reduction.
http://linked.open...ontrolniKodProRIV	[7E83C374B52F]
http://linked.open...v/mistoKonaniAkce	Brno
http://linked.open...i/riv/mistoVydani	Ostrava
http://linked.open...i/riv/nazevZdroje	Proceedings of 6th International Conference ISIM'03 Information System Implementation and Modeling
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2003
http://linked.open...iv/tvurceVysledku	Škrkal, Oto
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2003-04-28 (xsd:date)
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20262200012
number of pages	5 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Neuveden
https://schema.org/isbn	80-85988-84-4
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software