About: Combined Leftmost Derivations 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)

AttributesValues
rdf:type
Description
  • It is an open problem, whether matrix grammars with erasing productions using leftmost derivation of type three generate the whole family of recursively enumerable languages. This paper proves that matrix grammars that apply one matrix using leftmost derivation of type one and all other matrices using leftmost derivation of type three generate the family of recursively enumerable languages.
  • It is an open problem, whether matrix grammars with erasing productions using leftmost derivation of type three generate the whole family of recursively enumerable languages. This paper proves that matrix grammars that apply one matrix using leftmost derivation of type one and all other matrices using leftmost derivation of type three generate the family of recursively enumerable languages. (en)
  • Kombinované levé derivace v maticových gramatikách jsou studovány. (cs)
Title
  • Combined Leftmost Derivations in Matrix Grammars
  • Combined Leftmost Derivations in Matrix Grammars (en)
  • Kombinované levé derivace v maticových gramatikách (cs)
skos:prefLabel
  • Combined Leftmost Derivations in Matrix Grammars
  • Combined Leftmost Derivations in Matrix Grammars (en)
  • Kombinované levé derivace v maticových gramatikách (cs)
skos:notation
  • RIV/00216305:26230/04:PU49134!RIV/2005/GA0/262305/N
http://linked.open.../vavai/riv/strany
  • 127-132
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA201/04/0441)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 558089
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/04:PU49134
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Formal language theory, regulated rewriting, matrix grammar, canonical derivation, generative power. (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [0470D1A835FC]
http://linked.open...v/mistoKonaniAkce
  • Rožnov pod Radhošťem
http://linked.open...i/riv/mistoVydani
  • Ostrava
http://linked.open...i/riv/nazevZdroje
  • Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Meduna, Alexandr
  • Škrkal, Oto
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Neuveden
https://schema.org/isbn
  • 80-85988-99-2
http://localhost/t...ganizacniJednotka
  • 26230
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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