Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156824154> ?p ?o ?g. }
- W2156824154 endingPage "797" @default.
- W2156824154 startingPage "765" @default.
- W2156824154 abstract "Bisemigroups are algebras equipped with two independent associative operations. Labeled finite sp-biposets may serve as a possible representation of the elements of the free bisemigroups. For finite sp-biposets, an accepting device, called parenthesizing automaton, was introduced in [6], and it was proved that its expressive power is equivalent to both algebraic recognizability and monadic second order definability. In this paper, we show, how this concept of parenthesizing automaton can be generalized for infinite biposets in a way that the equivalence of regularity (defined by acceptance with automata), recognizability (defined by homomorphisms and finite ω-bisemigroups) and MSO-definability remains true." @default.
- W2156824154 created "2016-06-24" @default.
- W2156824154 creator A5036939018 @default.
- W2156824154 date "2006-01-30" @default.
- W2156824154 modified "2023-10-18" @default.
- W2156824154 title "Automata on infinite biposets" @default.
- W2156824154 cites W1515231446 @default.
- W2156824154 cites W1708589781 @default.
- W2156824154 cites W174797081 @default.
- W2156824154 cites W1776130705 @default.
- W2156824154 cites W1826194655 @default.
- W2156824154 cites W1862901365 @default.
- W2156824154 cites W1870847788 @default.
- W2156824154 cites W1977595510 @default.
- W2156824154 cites W1985495277 @default.
- W2156824154 cites W1989683733 @default.
- W2156824154 cites W200063938 @default.
- W2156824154 cites W2002425265 @default.
- W2156824154 cites W2004765838 @default.
- W2156824154 cites W2005313414 @default.
- W2156824154 cites W2006512646 @default.
- W2156824154 cites W2019932899 @default.
- W2156824154 cites W2045594629 @default.
- W2156824154 cites W2060285730 @default.
- W2156824154 cites W2085767100 @default.
- W2156824154 cites W2107260743 @default.
- W2156824154 cites W3017935176 @default.
- W2156824154 cites W84232747 @default.
- W2156824154 hasPublicationYear "2006" @default.
- W2156824154 type Work @default.
- W2156824154 sameAs 2156824154 @default.
- W2156824154 citedByCount "2" @default.
- W2156824154 crossrefType "journal-article" @default.
- W2156824154 hasAuthorship W2156824154A5036939018 @default.
- W2156824154 hasConcept C104091681 @default.
- W2156824154 hasConcept C112505250 @default.
- W2156824154 hasConcept C11413529 @default.
- W2156824154 hasConcept C116248031 @default.
- W2156824154 hasConcept C118615104 @default.
- W2156824154 hasConcept C134306372 @default.
- W2156824154 hasConcept C136003732 @default.
- W2156824154 hasConcept C136119220 @default.
- W2156824154 hasConcept C139423837 @default.
- W2156824154 hasConcept C158008952 @default.
- W2156824154 hasConcept C159423971 @default.
- W2156824154 hasConcept C167822520 @default.
- W2156824154 hasConcept C194525867 @default.
- W2156824154 hasConcept C195818886 @default.
- W2156824154 hasConcept C202444582 @default.
- W2156824154 hasConcept C2780069185 @default.
- W2156824154 hasConcept C33923547 @default.
- W2156824154 hasConcept C4042151 @default.
- W2156824154 hasConcept C41008148 @default.
- W2156824154 hasConcept C80444323 @default.
- W2156824154 hasConcept C9376300 @default.
- W2156824154 hasConceptScore W2156824154C104091681 @default.
- W2156824154 hasConceptScore W2156824154C112505250 @default.
- W2156824154 hasConceptScore W2156824154C11413529 @default.
- W2156824154 hasConceptScore W2156824154C116248031 @default.
- W2156824154 hasConceptScore W2156824154C118615104 @default.
- W2156824154 hasConceptScore W2156824154C134306372 @default.
- W2156824154 hasConceptScore W2156824154C136003732 @default.
- W2156824154 hasConceptScore W2156824154C136119220 @default.
- W2156824154 hasConceptScore W2156824154C139423837 @default.
- W2156824154 hasConceptScore W2156824154C158008952 @default.
- W2156824154 hasConceptScore W2156824154C159423971 @default.
- W2156824154 hasConceptScore W2156824154C167822520 @default.
- W2156824154 hasConceptScore W2156824154C194525867 @default.
- W2156824154 hasConceptScore W2156824154C195818886 @default.
- W2156824154 hasConceptScore W2156824154C202444582 @default.
- W2156824154 hasConceptScore W2156824154C2780069185 @default.
- W2156824154 hasConceptScore W2156824154C33923547 @default.
- W2156824154 hasConceptScore W2156824154C4042151 @default.
- W2156824154 hasConceptScore W2156824154C41008148 @default.
- W2156824154 hasConceptScore W2156824154C80444323 @default.
- W2156824154 hasConceptScore W2156824154C9376300 @default.
- W2156824154 hasIssue "4" @default.
- W2156824154 hasLocation W21568241541 @default.
- W2156824154 hasOpenAccess W2156824154 @default.
- W2156824154 hasPrimaryLocation W21568241541 @default.
- W2156824154 hasRelatedWork W1575146467 @default.
- W2156824154 hasRelatedWork W1587779614 @default.
- W2156824154 hasRelatedWork W1664983908 @default.
- W2156824154 hasRelatedWork W1854752460 @default.
- W2156824154 hasRelatedWork W1887052440 @default.
- W2156824154 hasRelatedWork W1973154589 @default.
- W2156824154 hasRelatedWork W2008456273 @default.
- W2156824154 hasRelatedWork W2009051112 @default.
- W2156824154 hasRelatedWork W2010318493 @default.
- W2156824154 hasRelatedWork W2094818329 @default.
- W2156824154 hasRelatedWork W2102272401 @default.
- W2156824154 hasRelatedWork W2105877052 @default.
- W2156824154 hasRelatedWork W2278693202 @default.
- W2156824154 hasRelatedWork W2479697077 @default.
- W2156824154 hasRelatedWork W2963249196 @default.
- W2156824154 hasRelatedWork W3036165475 @default.
- W2156824154 hasRelatedWork W3099803027 @default.
- W2156824154 hasRelatedWork W3105604159 @default.