-
1
المؤلفون: Chao Yang, Yongming Li
المصدر: Fuzzy Sets and Systems. 420:72-86
مصطلحات موضوعية: Discrete mathematics, 0209 industrial biotechnology, Hierarchy (mathematics), Mathematics::General Mathematics, Logic, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), Context (language use), 02 engineering and technology, Fuzzy logic, Pumping lemma for regular languages, Set (abstract data type), 020901 industrial engineering & automation, Regular language, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, Equivalence relation, 020201 artificial intelligence & image processing, ComputingMethodologies_GENERAL, Real number, Mathematics
-
2
المؤلفون: Vinay Gautam
المصدر: New Mathematics and Natural Computation. 17:175-189
مصطلحات موضوعية: Discrete mathematics, Multiset, Mathematics::Combinatorics, Applied Mathematics, 010102 general mathematics, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), 02 engineering and technology, 01 natural sciences, Pumping lemma for regular languages, Computer Science Applications, Automaton, Human-Computer Interaction, Computational Mathematics, Computational Theory and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, 020201 artificial intelligence & image processing, 0101 mathematics, Residuated lattice, Computer Science::Formal Languages and Automata Theory, Zero divisor, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::56531560599429b501ad3a10c55dd686
https://doi.org/10.1142/s1793005721500095 -
3
المؤلفون: Benedek Nagy
المصدر: Information Sciences. 537:452-466
مصطلحات موضوعية: Class (set theory), Information Systems and Management, Theoretical computer science, Computer science, 05 social sciences, Pushdown automaton, 050301 education, 02 engineering and technology, Extension (predicate logic), Pumping lemma for regular languages, Computer Science Applications, Theoretical Computer Science, Automaton, Closure (mathematics), Artificial Intelligence, Control and Systems Engineering, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Language family, 0503 education, Computer Science::Formal Languages and Automata Theory, Software, Stack (mathematics)
-
4
المؤلفون: Anupam K. Singh, Surya Prakash Tiwari
المصدر: New Mathematics and Natural Computation. 16:363-376
مصطلحات موضوعية: Computer science, Applied Mathematics, 010102 general mathematics, Fuzzy finite automata, 02 engineering and technology, 01 natural sciences, Fuzzy logic, Pumping lemma for regular languages, Computer Science Applications, Human-Computer Interaction, Algebra, Computational Mathematics, Computational Theory and Mathematics, Regular language, Reachability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Observability, 0101 mathematics, Residuated lattice, Categorical variable
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3dd16db6760c5201ebe68ecab6e902ac
https://doi.org/10.1142/s1793005720500222 -
5
المؤلفون: Michal Koucký
المصدر: Lecture Notes in Computer Science ISBN: 9783540730002
CiEمصطلحات موضوعية: Discrete mathematics, Current (mathematics), Regular language, Abstract family of languages, Pumping lemma for context-free languages, Generalized star height problem, Circuit complexity, Cone (formal languages), Pumping lemma for regular languages, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efa523a95c1b3a92d0a4f34c5d83a295
https://doi.org/10.4171/automata-1/14 -
6
المساهمون: Universidade do Minho
المصدر: LSFA
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAPمصطلحات موضوعية: formalization, General Computer Science, Property (programming), Computer science, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Formal proof, Theoretical Computer Science, Formal language, 0202 electrical engineering, electronic engineering, information engineering, Coq, non-context-free languages, Lemma (mathematics), intersection, Science & Technology, Programming language, Intersection (set theory), Proof assistant, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), 020207 software engineering, Engenharia Eletrotécnica, Eletrónica e Informática [Engenharia e Tecnologia], closure, pumping lemma, Pumping lemma for regular languages, 010201 computation theory & mathematics, Computer Science::Programming Languages, Pumping lemma for context-free languages, computer, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
-
7
المؤلفون: Erzsébet Csuhaj-Varjú, Zsolt Gazdag, Krisztián Tichler
المصدر: International Journal of Foundations of Computer Science. 30:73-92
مصطلحات موضوعية: 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Pumping lemma for regular languages, Algebra, Formal grammar, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Rule-based machine translation, 010201 computation theory & mathematics, If and only if, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Computer Science (miscellaneous), Word (computer architecture), Generative power, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c59b2e8d1bc08a09564ed72ce8e45d6b
https://doi.org/10.1142/s0129054119400045 -
8
المؤلفون: Tikhon Pshenitsyn
المصدر: Graph Transformation ISBN: 9783030789459
ICGTمصطلحات موضوعية: Discrete mathematics, Graph rewriting, Hypergraph, Rule-based machine translation, Generalization, Computer Science::Logic in Computer Science, Bounded function, String (computer science), Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), Computer Science::Formal Languages and Automata Theory, Pumping lemma for regular languages, Word (group theory), Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b944966ef60a2893ac5f0da7d9810a79
https://doi.org/10.1007/978-3-030-78946-6_6 -
9
المؤلفون: Josue N. Rivera, Haiping Xu
المصدر: Transactions on Computational Science and Computational Intelligence ISBN: 9783030708726
مصطلحات موضوعية: Regular language, Property (programming), Computer science, Active learning (machine learning), Programming language, Software tool, String (computer science), computer.software_genre, computer, Pumping lemma for regular languages, Educational software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8d7e537ba550727589d062a25d7a7fec
https://doi.org/10.1007/978-3-030-70873-3_11 -
10
المؤلفون: Damien Regnault, Pierre-Étienne Meunier, Damien Woods
المساهمون: Hamilton Institute [NUI], National University of Ireland [Galway] (NUI Galway), Informatique, BioInformatique, Systèmes Complexes (IBISC), Université d'Évry-Val-d'Essonne (UEVE)-Université Paris-Saclay
المصدر: 52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC 2020)
52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC 2020), Jun 2020, Chicago, IL, United States. pp.727--737, ⟨10.1145/3357713.3384263⟩
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing
STOCمصطلحات موضوعية: Computational Geometry (cs.CG), FOS: Computer and information sciences, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Formal Languages and Automata Theory (cs.FL), Computer science, FOS: Physical sciences, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, Computational Complexity (cs.CC), Topology, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], 01 natural sciences, Upper and lower bounds, Square (algebra), Turing machine, symbols.namesake, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Cellular Automata and Lattice Gases (nlin.CG), Pumping lemma for regular languages, Blocking (computing), Nonlinear Sciences - Adaptation and Self-Organizing Systems, Decidability, Computer Science - Computational Complexity, 010201 computation theory & mathematics, visual_art, Path (graph theory), visual_art.visual_art_medium, symbols, Computer Science - Computational Geometry, Tile, Adaptation and Self-Organizing Systems (nlin.AO), Nonlinear Sciences - Cellular Automata and Lattice Gases
وصف الملف: text