About: Geometrically Closed Positive Varieties of Star-Free Languages

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

About: Geometrically Closed Positive Varieties of Star-Free Languages Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Geometrically Closed Positive Varieties of Star-Free Languages
Creator	Klíma, Ondřej Kostolányi, Peter
Source	PMC
abstract	A recently introduced operation of geometrical closure on formal languages is investigated. It is proved that the geometrical closure of a language from the positive variety [Formula: see text], the level 3/2 of the Straubing-Thérien hierarchy of star-free languages, always falls into the variety [Formula: see text], which is a new variety consisting of specific R-trivial languages. As a consequence, each class of regular languages lying between [Formula: see text] and [Formula: see text] is geometrically closed.
has issue date	2020-01-07(xsd:dateTime)
bibo:doi	10.1007/978-3-030-40608-0_23
has license	no-cc
sha1sum (hex)	4785bf49c60dfe923bad15809ea98973135d3f00
schema:url	https://doi.org/10.1007/978-3-030-40608-0_23
resource representing a document's title	Geometrically Closed Positive Varieties of Star-Free Languages
has PubMed Central identifier	PMC7206645
schema:publication	Language and Automata Theory and Applications
resource representing a document's body	covid:4785bf49c60dfe923bad15809ea98973135d3f00#body_text
is schema:about of	named entity 'variety' named entity 'Varieties' named entity 'Languages' named entity 'lying' named entity 'hierarchy' named entity 'consequence' named entity 'regular languages' named entity 'Salemi' named entity 'automaton' named entity 'star-free' named entity 'regular expression' named entity 'subvariety' named entity 'complementation' named entity 'commutative' named entity 'closure operator' named entity 'automaton' named entity 'monoids' named entity 'commutative' named entity 'minimal automaton' named entity 'regular languages' named entity 'automaton' named entity 'syntactic monoid' named entity 'surjective' named entity 'vectors' named entity 'regular languages' named entity 'regular expression' named entity 'regular language' named entity 'Dyck language' named entity 'regular languages' named entity 'vectors' named entity 'commutative' named entity 'deterministic finite automaton' named entity 'monoid' named entity 'automata' named entity 'non-empty' named entity 'monoid' named entity 'regular languages' named entity 'monoid' named entity 'finite union' named entity 'regular expression' named entity 'star-free' named entity 'automata' named entity 'non-empty' named entity 'automaton' named entity 'piecewise' named entity 'level 1/2' named entity 'algebraic theory' named entity 'preimages' named entity 'regular language' named entity 'general result' named entity 'automaton' named entity 'automaton' named entity 'vector' named entity 'group language' named entity 'star-free' named entity 'regular languages' named entity 'Star-Free' named entity 'monoids' named entity 'automaton' named entity 'Eilenberg' named entity 'automaton' named entity 'Proposition 2' named entity 'open question' named entity 'vectors' named entity 'homomorphism' named entity 'minimal automaton' named entity 'automaton' named entity 'automata' named entity 'finite unions' named entity 'homomorphic image' named entity 'vector' named entity 'finite set' named entity 'group hierarchy' named entity 'automaton' named entity 'monoids' named entity 'piecewise' named entity 'regular language' named entity 'monoids' named entity 'piecewise' named entity 'piecewise' named entity 'star-free' named entity 'INTRODUCED'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software