Matches in SemOpenAlex for { <https://semopenalex.org/work/W1954200210> ?p ?o ?g. }
- W1954200210 abstract "In his thesis Baire defined functions of Baire class 1. A function f is of Baire class 1 if it is the pointwise limit of a sequence of continuous functions. Baire proves the following theorem. A function f is not of class 1 if and only if there exists a closed nonempty set F such that the restriction of f to F has no point of continuity. We prove the automaton version of this theorem. An ω-rational function is not of class 1 if and only if there exists a closed nonempty set F recognized by a Büchi automaton such that the restriction of f to F has no point of continuity. This gives us the opportunity for a discussion on Hausdorff's analysis of Δ°2, ordinals, transfinite induction and some applications of computer science." @default.
- W1954200210 created "2016-06-24" @default.
- W1954200210 creator A5012647463 @default.
- W1954200210 creator A5077424332 @default.
- W1954200210 date "2007-01-01" @default.
- W1954200210 modified "2023-09-26" @default.
- W1954200210 title "Baire and automata" @default.
- W1954200210 cites W117768600 @default.
- W1954200210 cites W1505482284 @default.
- W1954200210 cites W1507944585 @default.
- W1954200210 cites W1522304162 @default.
- W1954200210 cites W1539382740 @default.
- W1954200210 cites W1545549932 @default.
- W1954200210 cites W1555991696 @default.
- W1954200210 cites W1565376387 @default.
- W1954200210 cites W1574255085 @default.
- W1954200210 cites W1586417893 @default.
- W1954200210 cites W1606855007 @default.
- W1954200210 cites W1621948069 @default.
- W1954200210 cites W181275551 @default.
- W1954200210 cites W1816620374 @default.
- W1954200210 cites W183585617 @default.
- W1954200210 cites W1956775607 @default.
- W1954200210 cites W1965816875 @default.
- W1954200210 cites W1969912861 @default.
- W1954200210 cites W1970631945 @default.
- W1954200210 cites W1974868602 @default.
- W1954200210 cites W1983547737 @default.
- W1954200210 cites W1996915362 @default.
- W1954200210 cites W2007823114 @default.
- W1954200210 cites W2026076694 @default.
- W1954200210 cites W2029001366 @default.
- W1954200210 cites W2035338976 @default.
- W1954200210 cites W2035905643 @default.
- W1954200210 cites W2037185109 @default.
- W1954200210 cites W2037955016 @default.
- W1954200210 cites W2041362777 @default.
- W1954200210 cites W2054090612 @default.
- W1954200210 cites W2054801208 @default.
- W1954200210 cites W2055295625 @default.
- W1954200210 cites W2062792526 @default.
- W1954200210 cites W2066431916 @default.
- W1954200210 cites W2081278058 @default.
- W1954200210 cites W2091564354 @default.
- W1954200210 cites W2125267391 @default.
- W1954200210 cites W2127852191 @default.
- W1954200210 cites W2138856440 @default.
- W1954200210 cites W2157189703 @default.
- W1954200210 cites W2162583406 @default.
- W1954200210 cites W2164805886 @default.
- W1954200210 cites W2797767723 @default.
- W1954200210 cites W2884114586 @default.
- W1954200210 cites W2913344232 @default.
- W1954200210 cites W42346063 @default.
- W1954200210 cites W572422152 @default.
- W1954200210 cites W66397878 @default.
- W1954200210 cites W976118724 @default.
- W1954200210 doi "https://doi.org/10.46298/dmtcs.392" @default.
- W1954200210 hasPublicationYear "2007" @default.
- W1954200210 type Work @default.
- W1954200210 sameAs 1954200210 @default.
- W1954200210 citedByCount "3" @default.
- W1954200210 crossrefType "journal-article" @default.
- W1954200210 hasAuthorship W1954200210A5012647463 @default.
- W1954200210 hasAuthorship W1954200210A5077424332 @default.
- W1954200210 hasBestOaLocation W19542002101 @default.
- W1954200210 hasConcept C110729354 @default.
- W1954200210 hasConcept C114614502 @default.
- W1954200210 hasConcept C118615104 @default.
- W1954200210 hasConcept C134306372 @default.
- W1954200210 hasConcept C14036430 @default.
- W1954200210 hasConcept C147358099 @default.
- W1954200210 hasConcept C151201525 @default.
- W1954200210 hasConcept C154945302 @default.
- W1954200210 hasConcept C166359235 @default.
- W1954200210 hasConcept C189892329 @default.
- W1954200210 hasConcept C191399826 @default.
- W1954200210 hasConcept C202444582 @default.
- W1954200210 hasConcept C2777212361 @default.
- W1954200210 hasConcept C2777984123 @default.
- W1954200210 hasConcept C33923547 @default.
- W1954200210 hasConcept C41008148 @default.
- W1954200210 hasConcept C44659138 @default.
- W1954200210 hasConcept C71287196 @default.
- W1954200210 hasConcept C78458016 @default.
- W1954200210 hasConcept C86803240 @default.
- W1954200210 hasConceptScore W1954200210C110729354 @default.
- W1954200210 hasConceptScore W1954200210C114614502 @default.
- W1954200210 hasConceptScore W1954200210C118615104 @default.
- W1954200210 hasConceptScore W1954200210C134306372 @default.
- W1954200210 hasConceptScore W1954200210C14036430 @default.
- W1954200210 hasConceptScore W1954200210C147358099 @default.
- W1954200210 hasConceptScore W1954200210C151201525 @default.
- W1954200210 hasConceptScore W1954200210C154945302 @default.
- W1954200210 hasConceptScore W1954200210C166359235 @default.
- W1954200210 hasConceptScore W1954200210C189892329 @default.
- W1954200210 hasConceptScore W1954200210C191399826 @default.
- W1954200210 hasConceptScore W1954200210C202444582 @default.
- W1954200210 hasConceptScore W1954200210C2777212361 @default.
- W1954200210 hasConceptScore W1954200210C2777984123 @default.