About: The Automatic Baire Property and an Effective Property of [Formula: see text]-Rational Functions

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

About: The Automatic Baire Property and an Effective Property of [Formula: see text]-Rational Functions Goto Sponge NotDistinct Permalink

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

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	The Automatic Baire Property and an Effective Property of [Formula: see text]-Rational Functions
Creator	Finkel, Olivier
Source	PMC
abstract	We prove that [Formula: see text]-regular languages accepted by Büchi or Muller automata satisfy an effective automata-theoretic version of the Baire property. Then we use this result to obtain a new effective property of rational functions over infinite words which are realized by finite state Büchi transducers: for each such function [Formula: see text], one can construct a deterministic Büchi automaton [Formula: see text] accepting a dense [Formula: see text]-subset of [Formula: see text] such that the restriction of F to [Formula: see text] is continuous.
has issue date	2020-01-07(xsd:dateTime)
bibo:doi	10.1007/978-3-030-40608-0_21
has license	no-cc
sha1sum (hex)	5ec4d106e7693ce17e2386dbf1c66a924b29933b
schema:url	https://doi.org/10.1007/978-3-030-40608-0_21
resource representing a document's title	The Automatic Baire Property and an Effective Property of [Formula: see text]-Rational Functions
has PubMed Central identifier	PMC7206640
schema:publication	Language and Automata Theory and Applications
resource representing a document's body	covid:5ec4d106e7693ce17e2386dbf1c66a924b29933b#body_text
is schema:about of	named entity 'result' named entity 'restriction' named entity 'CONTINUOUS' named entity 'NEW' named entity 'TRANSDUCERS' named entity 'subset' named entity 'automata' named entity 'Baire property' named entity 'finite state' named entity 'Büchi' named entity 'Büchi automaton' named entity 'Rational Functions' named entity 'rational relation' named entity 'comeager' named entity 'Baire property' named entity 'context-free' named entity 'closed sets' named entity 'regular ω-languages' named entity 'countable' named entity 'ω-languages' named entity 'rational relation' named entity 'Borel' named entity 'continuity set' named entity 'expressive power' named entity 'automaton' named entity 'ω-language' named entity 'countable' named entity 'continuity set' named entity 'continuity set' named entity 'continuity set' named entity 'continuity set' named entity 'Büchi' named entity 'automata' named entity 'subset' named entity 'Muller automaton' named entity 'automaton' named entity 'subset' named entity 'rational subset' named entity 'topological space' named entity 'ω-language' named entity 'graph' named entity 'Infinitary' named entity 'Büchi automaton' named entity 'Muller automaton' named entity 'deterministic' named entity 'infinitary' named entity 'automaton' named entity 'Boolean' named entity 'Muller automaton' named entity 'automaton' named entity 'Baire property' named entity 'countable' named entity 'functional relation' named entity 'deterministic' named entity 'finite state' named entity 'decision problem' named entity 'ω-words' named entity 'subset' named entity 'dense open subsets' named entity 'rational functions' named entity 'automaton' named entity 'decision problems' named entity 'open sets' named entity 'Baire space' named entity 'Muller automaton' named entity 'continuity set' named entity 'rational function' named entity 'regular ω-language' named entity 'concatenation' named entity 'Cantor space' named entity 'deterministic' named entity 'rational relation' named entity 'Boolean' named entity 'context-free' named entity 'infinitary' named entity 'Baire property' named entity 'infinitary' named entity 'deterministic' named entity '5-tuple' named entity 'closed sets' named entity 'boolean' named entity 'rational relation' named entity 'infinite words'

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