Record Beta

Descriptional Complexity of Formal Systems

https://id.confref.org/data/confref-portal/event/dcfs2011

rdf:type	portal:Conference
schema:location	Germany (wd:Q183)
rdfs:label	Descriptional Complexity of Formal Systems
portal:acronym	DCFS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Gießen/Limburg
portal:country	Germany
portal:endDate	2011-07-27
portal:keyword	Bifix-free
portal:keyword	Bounded languages
portal:keyword	Descriptional Complexity
portal:keyword	Hierarchy of languages
portal:keyword	Membership problem
portal:keyword	Prefix-free
portal:keyword	State complexity
portal:keyword	boolean operations on languages
portal:keyword	bounded head reversals
portal:keyword	cooperating distributed system
portal:keyword	determinism and nondeterminism
portal:keyword	deterministic union-free languages
portal:keyword	finite automaton
portal:keyword	internal contextual grammars
portal:keyword	k-Local Derivation
portal:keyword	language hierarchy
portal:keyword	monoid
portal:keyword	multihead automata
portal:keyword	multitape automata
portal:keyword	nondeterministic state complexity
portal:name	Descriptional Complexity of Formal Systems
portal:portalPage	http://portal.confref.org/list/dcfs2011
portal:series	https://id.confref.org/data/confref-portal/series/dcfs
portal:startDate	2011-07-25
portal:submissionExtended	false
portal:year	2011
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/dcfs/dcfs2011

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.