Matches in SemOpenAlex for { <https://semopenalex.org/work/W3122550119> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3122550119 endingPage "13" @default.
- W3122550119 startingPage "5" @default.
- W3122550119 abstract "Мы рассматриваем алгебру всех конечных языков над многосимвольным алфавитом с операцией конкатенации. Ранее было показано, что если взять подобную алгебру, но состоящую из всех регулярных многосимвольных языков, то в ней можно интерпретировать алгебру регулярных односимвольных языков, откуда следует, что теория обеих этих алгебр эквивалентна элементарной арифметике. В настоящей работе мы доказываем аналогичный результат для алгебры конечных языков: в ней определима подалгебра односимвольных языков, а сама она имеет теорию алгоритмически эквивалентную элементарной арифметике. We consider an algebra of all finite languages with the concatenation operation. For one-symbol languages it is known that its theory is equivalent to the first-order arithmetic. Earlier it was proved that for regular languages a one-symbol algebra can be interpreted in multi-symbol algebras. Here we show how to define a one-symbol subalgebra in multi-symbol algebras for finite languages." @default.
- W3122550119 created "2021-02-01" @default.
- W3122550119 creator A5031843383 @default.
- W3122550119 date "2020-12-23" @default.
- W3122550119 modified "2023-10-16" @default.
- W3122550119 title "On definability of one-symbol languages in the monoid of finite languages with concatenation" @default.
- W3122550119 doi "https://doi.org/10.26456/vtpmk601" @default.
- W3122550119 hasPublicationYear "2020" @default.
- W3122550119 type Work @default.
- W3122550119 sameAs 3122550119 @default.
- W3122550119 citedByCount "0" @default.
- W3122550119 crossrefType "journal-article" @default.
- W3122550119 hasAuthorship W3122550119A5031843383 @default.
- W3122550119 hasBestOaLocation W31225501191 @default.
- W3122550119 hasConcept C11164408 @default.
- W3122550119 hasConcept C112505250 @default.
- W3122550119 hasConcept C118615104 @default.
- W3122550119 hasConcept C134400042 @default.
- W3122550119 hasConcept C136119220 @default.
- W3122550119 hasConcept C149685015 @default.
- W3122550119 hasConcept C199163288 @default.
- W3122550119 hasConcept C199360897 @default.
- W3122550119 hasConcept C202444582 @default.
- W3122550119 hasConcept C206901836 @default.
- W3122550119 hasConcept C33923547 @default.
- W3122550119 hasConcept C34165917 @default.
- W3122550119 hasConcept C41008148 @default.
- W3122550119 hasConcept C50033165 @default.
- W3122550119 hasConcept C52370388 @default.
- W3122550119 hasConcept C67996461 @default.
- W3122550119 hasConcept C80444323 @default.
- W3122550119 hasConcept C87619178 @default.
- W3122550119 hasConcept C94375191 @default.
- W3122550119 hasConceptScore W3122550119C11164408 @default.
- W3122550119 hasConceptScore W3122550119C112505250 @default.
- W3122550119 hasConceptScore W3122550119C118615104 @default.
- W3122550119 hasConceptScore W3122550119C134400042 @default.
- W3122550119 hasConceptScore W3122550119C136119220 @default.
- W3122550119 hasConceptScore W3122550119C149685015 @default.
- W3122550119 hasConceptScore W3122550119C199163288 @default.
- W3122550119 hasConceptScore W3122550119C199360897 @default.
- W3122550119 hasConceptScore W3122550119C202444582 @default.
- W3122550119 hasConceptScore W3122550119C206901836 @default.
- W3122550119 hasConceptScore W3122550119C33923547 @default.
- W3122550119 hasConceptScore W3122550119C34165917 @default.
- W3122550119 hasConceptScore W3122550119C41008148 @default.
- W3122550119 hasConceptScore W3122550119C50033165 @default.
- W3122550119 hasConceptScore W3122550119C52370388 @default.
- W3122550119 hasConceptScore W3122550119C67996461 @default.
- W3122550119 hasConceptScore W3122550119C80444323 @default.
- W3122550119 hasConceptScore W3122550119C87619178 @default.
- W3122550119 hasConceptScore W3122550119C94375191 @default.
- W3122550119 hasIssue "4" @default.
- W3122550119 hasLocation W31225501191 @default.
- W3122550119 hasLocation W31225501192 @default.
- W3122550119 hasOpenAccess W3122550119 @default.
- W3122550119 hasPrimaryLocation W31225501191 @default.
- W3122550119 hasRelatedWork W1619417257 @default.
- W3122550119 hasRelatedWork W174143902 @default.
- W3122550119 hasRelatedWork W2065362845 @default.
- W3122550119 hasRelatedWork W2091013922 @default.
- W3122550119 hasRelatedWork W2575143334 @default.
- W3122550119 hasRelatedWork W2950141706 @default.
- W3122550119 hasRelatedWork W2982732377 @default.
- W3122550119 hasRelatedWork W3042696229 @default.
- W3122550119 hasRelatedWork W3049285863 @default.
- W3122550119 hasRelatedWork W3122550119 @default.
- W3122550119 isParatext "false" @default.
- W3122550119 isRetracted "false" @default.
- W3122550119 magId "3122550119" @default.
- W3122550119 workType "article" @default.