Matches in SemOpenAlex for { <https://semopenalex.org/work/W1783917494> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1783917494 abstract "The FAdo system is a symbolic manipulator of formal languages objects, implemented in Python. In this work, we extend its capabilities by implementing methods to manipulate transducers and we go one level higher than existing formal language systems and implement methods to manipulate objects representing classes of independent languages (widely known as code properties). Our methods allow users to define their own code properties and combine them between themselves or with fixed properties such as prefix codes, suffix codes, error detecting codes, etc. The satisfaction and maximality decision questions are solvable for any of the definable properties. The new online system LaSer allows to query about code properties and obtain the answer in a batch mode. Our work is founded on independence theory as well as the theory of rational relations and transducers and contributes with improveded algorithms on these objects." @default.
- W1783917494 created "2016-06-24" @default.
- W1783917494 creator A5046508856 @default.
- W1783917494 creator A5050789330 @default.
- W1783917494 creator A5069056728 @default.
- W1783917494 creator A5076705588 @default.
- W1783917494 date "2015-04-18" @default.
- W1783917494 modified "2023-09-27" @default.
- W1783917494 title "Symbolic Manipulation of Code Properties" @default.
- W1783917494 cites W1492339733 @default.
- W1783917494 cites W1505482284 @default.
- W1783917494 cites W1510695256 @default.
- W1783917494 cites W1584451387 @default.
- W1783917494 cites W1584762487 @default.
- W1783917494 cites W1978532382 @default.
- W1783917494 cites W2002089154 @default.
- W1783917494 cites W2048476153 @default.
- W1783917494 cites W2067615568 @default.
- W1783917494 cites W2146148441 @default.
- W1783917494 cites W2603558311 @default.
- W1783917494 cites W2995533735 @default.
- W1783917494 cites W3160508565 @default.
- W1783917494 cites W590387709 @default.
- W1783917494 cites W1980073965 @default.
- W1783917494 hasPublicationYear "2015" @default.
- W1783917494 type Work @default.
- W1783917494 sameAs 1783917494 @default.
- W1783917494 citedByCount "2" @default.
- W1783917494 countsByYear W17839174942015 @default.
- W1783917494 countsByYear W17839174942016 @default.
- W1783917494 crossrefType "posted-content" @default.
- W1783917494 hasAuthorship W1783917494A5046508856 @default.
- W1783917494 hasAuthorship W1783917494A5050789330 @default.
- W1783917494 hasAuthorship W1783917494A5069056728 @default.
- W1783917494 hasAuthorship W1783917494A5076705588 @default.
- W1783917494 hasConcept C113709454 @default.
- W1783917494 hasConcept C138885662 @default.
- W1783917494 hasConcept C141603448 @default.
- W1783917494 hasConcept C146072743 @default.
- W1783917494 hasConcept C177264268 @default.
- W1783917494 hasConcept C199360897 @default.
- W1783917494 hasConcept C2776760102 @default.
- W1783917494 hasConcept C2779804580 @default.
- W1783917494 hasConcept C41008148 @default.
- W1783917494 hasConcept C41895202 @default.
- W1783917494 hasConcept C519991488 @default.
- W1783917494 hasConcept C80444323 @default.
- W1783917494 hasConceptScore W1783917494C113709454 @default.
- W1783917494 hasConceptScore W1783917494C138885662 @default.
- W1783917494 hasConceptScore W1783917494C141603448 @default.
- W1783917494 hasConceptScore W1783917494C146072743 @default.
- W1783917494 hasConceptScore W1783917494C177264268 @default.
- W1783917494 hasConceptScore W1783917494C199360897 @default.
- W1783917494 hasConceptScore W1783917494C2776760102 @default.
- W1783917494 hasConceptScore W1783917494C2779804580 @default.
- W1783917494 hasConceptScore W1783917494C41008148 @default.
- W1783917494 hasConceptScore W1783917494C41895202 @default.
- W1783917494 hasConceptScore W1783917494C519991488 @default.
- W1783917494 hasConceptScore W1783917494C80444323 @default.
- W1783917494 hasLocation W17839174941 @default.
- W1783917494 hasOpenAccess W1783917494 @default.
- W1783917494 hasPrimaryLocation W17839174941 @default.
- W1783917494 hasRelatedWork W1480083779 @default.
- W1783917494 hasRelatedWork W1967860030 @default.
- W1783917494 hasRelatedWork W1993607078 @default.
- W1783917494 hasRelatedWork W2082752372 @default.
- W1783917494 hasRelatedWork W2083713908 @default.
- W1783917494 hasRelatedWork W2083939668 @default.
- W1783917494 hasRelatedWork W2099905197 @default.
- W1783917494 hasRelatedWork W2104806676 @default.
- W1783917494 hasRelatedWork W2106193618 @default.
- W1783917494 hasRelatedWork W2121997300 @default.
- W1783917494 hasRelatedWork W2165545265 @default.
- W1783917494 hasRelatedWork W2472069754 @default.
- W1783917494 hasRelatedWork W2797485952 @default.
- W1783917494 hasRelatedWork W2948903663 @default.
- W1783917494 hasRelatedWork W2963634346 @default.
- W1783917494 hasRelatedWork W2981172870 @default.
- W1783917494 hasRelatedWork W2982707566 @default.
- W1783917494 hasRelatedWork W3133174593 @default.
- W1783917494 hasRelatedWork W3147568453 @default.
- W1783917494 hasRelatedWork W3205419191 @default.
- W1783917494 isParatext "false" @default.
- W1783917494 isRetracted "false" @default.
- W1783917494 magId "1783917494" @default.
- W1783917494 workType "article" @default.