Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071188100> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2071188100 endingPage "2138" @default.
- W2071188100 startingPage "2128" @default.
- W2071188100 abstract "Automata theory based on complete residuated lattice-valued logic (called L-valued automata) was established in (Qiu, Automata theory based on completed residuated lattice-valued logic (I), Science in China (F) 44(6) (2001) 419–429; Qiu, Automata theory based on completed residuated lattice-valued logic (II), Science in China (F) 45(6) (2002) 442–452). In this note, we deal with the pumping lemma in L-valued automata theory. After recalling some preliminaries related to complete residuated lattices and L-valued automata, we define a number of L-valued accepting predicates. In particular, the pumping lemma for L-valued automata theory is set up. We show that if those related L-valued predicates are defined by using connective ∧ instead of &, then the pumping lemma may not hold again. Furthermore, we investigate the L-valued automata with ε-transitions, and present the equivalence between the L-valued automata without ε-transitions and those with ε-transitions. Finally, a number of related questions is addressed." @default.
- W2071188100 created "2016-06-24" @default.
- W2071188100 creator A5026963602 @default.
- W2071188100 date "2006-08-01" @default.
- W2071188100 modified "2023-09-26" @default.
- W2071188100 title "Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note" @default.
- W2071188100 cites W1966321785 @default.
- W2071188100 cites W1973756824 @default.
- W2071188100 cites W2024469541 @default.
- W2071188100 cites W2040277462 @default.
- W2071188100 cites W2041374022 @default.
- W2071188100 cites W2141313404 @default.
- W2071188100 cites W2143096623 @default.
- W2071188100 cites W2911865844 @default.
- W2071188100 cites W4205743733 @default.
- W2071188100 cites W4213325304 @default.
- W2071188100 cites W4236526662 @default.
- W2071188100 doi "https://doi.org/10.1016/j.fss.2006.03.014" @default.
- W2071188100 hasPublicationYear "2006" @default.
- W2071188100 type Work @default.
- W2071188100 sameAs 2071188100 @default.
- W2071188100 citedByCount "66" @default.
- W2071188100 countsByYear W20711881002012 @default.
- W2071188100 countsByYear W20711881002013 @default.
- W2071188100 countsByYear W20711881002014 @default.
- W2071188100 countsByYear W20711881002015 @default.
- W2071188100 countsByYear W20711881002016 @default.
- W2071188100 countsByYear W20711881002017 @default.
- W2071188100 countsByYear W20711881002018 @default.
- W2071188100 countsByYear W20711881002020 @default.
- W2071188100 countsByYear W20711881002021 @default.
- W2071188100 countsByYear W20711881002022 @default.
- W2071188100 countsByYear W20711881002023 @default.
- W2071188100 crossrefType "journal-article" @default.
- W2071188100 hasAuthorship W2071188100A5026963602 @default.
- W2071188100 hasConcept C112505250 @default.
- W2071188100 hasConcept C116248031 @default.
- W2071188100 hasConcept C118615104 @default.
- W2071188100 hasConcept C136119220 @default.
- W2071188100 hasConcept C154945302 @default.
- W2071188100 hasConcept C18903297 @default.
- W2071188100 hasConcept C202444582 @default.
- W2071188100 hasConcept C2777759810 @default.
- W2071188100 hasConcept C2780069185 @default.
- W2071188100 hasConcept C2781278839 @default.
- W2071188100 hasConcept C33923547 @default.
- W2071188100 hasConcept C41008148 @default.
- W2071188100 hasConcept C46757340 @default.
- W2071188100 hasConcept C58166 @default.
- W2071188100 hasConcept C80444323 @default.
- W2071188100 hasConcept C86803240 @default.
- W2071188100 hasConceptScore W2071188100C112505250 @default.
- W2071188100 hasConceptScore W2071188100C116248031 @default.
- W2071188100 hasConceptScore W2071188100C118615104 @default.
- W2071188100 hasConceptScore W2071188100C136119220 @default.
- W2071188100 hasConceptScore W2071188100C154945302 @default.
- W2071188100 hasConceptScore W2071188100C18903297 @default.
- W2071188100 hasConceptScore W2071188100C202444582 @default.
- W2071188100 hasConceptScore W2071188100C2777759810 @default.
- W2071188100 hasConceptScore W2071188100C2780069185 @default.
- W2071188100 hasConceptScore W2071188100C2781278839 @default.
- W2071188100 hasConceptScore W2071188100C33923547 @default.
- W2071188100 hasConceptScore W2071188100C41008148 @default.
- W2071188100 hasConceptScore W2071188100C46757340 @default.
- W2071188100 hasConceptScore W2071188100C58166 @default.
- W2071188100 hasConceptScore W2071188100C80444323 @default.
- W2071188100 hasConceptScore W2071188100C86803240 @default.
- W2071188100 hasIssue "15" @default.
- W2071188100 hasLocation W20711881001 @default.
- W2071188100 hasOpenAccess W2071188100 @default.
- W2071188100 hasPrimaryLocation W20711881001 @default.
- W2071188100 hasRelatedWork W1549584764 @default.
- W2071188100 hasRelatedWork W1978419739 @default.
- W2071188100 hasRelatedWork W1991034910 @default.
- W2071188100 hasRelatedWork W1998090528 @default.
- W2071188100 hasRelatedWork W2032611290 @default.
- W2071188100 hasRelatedWork W2138155336 @default.
- W2071188100 hasRelatedWork W2950539409 @default.
- W2071188100 hasRelatedWork W2964187826 @default.
- W2071188100 hasRelatedWork W3151786004 @default.
- W2071188100 hasRelatedWork W4300362218 @default.
- W2071188100 hasVolume "157" @default.
- W2071188100 isParatext "false" @default.
- W2071188100 isRetracted "false" @default.
- W2071188100 magId "2071188100" @default.
- W2071188100 workType "article" @default.