-
1Academic Journal
المؤلفون: Fetaji, Majlinda, Fetaji, Bekim, Asilkan, Özcan
المصدر: CRJ; No. 1 (2021): CIT Review Journal; 9-15 ; 2788-645X ; 10.59380/crj.v1i1
مصطلحات موضوعية: Context-Free Languages, Pumping lemma, Intelligent systems, Machine/deep learning, Data sciences
وصف الملف: application/pdf
-
2Academic Journal
المؤلفون: Hiroyuki SEKI, Rindo NAKANISHI, Yoshiaki TAKATA
المصدر: IEICE Transactions on Information and Systems. 2023, E106.D(3):284
-
3Conference
المؤلفون: Fazekas, Szilárd, Hoshi, Kaito, Yamamura, Akihiro
المساهمون: Akita University, Alonso Castillo-Ramirez, Pedro P. B. de Oliveira, TC 1, WG 1.5
المصدر: Lecture Notes in Computer Science ; 25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA) ; https://hal.inria.fr/hal-02312614 ; 25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.62-76, ⟨10.1007/978-3-030-20981-0_5⟩
مصطلحات موضوعية: Jumping mode, Jumping finite automata, Pushdown automata, Pumping lemma, Context free language, [INFO]Computer Science [cs]
جغرافية الموضوع: Mexico
Time: Guadalajara, Mexico
Relation: hal-02312614; https://hal.inria.fr/hal-02312614; https://hal.inria.fr/hal-02312614/document; https://hal.inria.fr/hal-02312614/file/484947_1_En_5_Chapter.pdf
-
4
المؤلفون: Midena Ramos, Marcus Vinicius, de Queiroz, Ruy J. G. B., Moreira, Nelma, Almeida, José Bacelar
المساهمون: Universidade do Minho
مصطلحات موضوعية: Context-free language theory, Language closure, Grammar simplification, Chomsky Normal Form, Pumping Lemma, Formalization, Coq, Science & Technology
وصف الملف: application/pdf
Relation: 9783662529201; 0302-9743
الاتاحة: http://hdl.handle.net/1822/50463
-
5Academic Journal
المؤلفون: Asada, Kazuyuki, Kobayashi, Naoki
المساهمون: Kazuyuki Asada and Naoki Kobayashi
مصطلحات موضوعية: higher-order grammar, pumping lemma, Kruskal's tree theorem, well-quasi-ordering, simply-typed lambda calculus
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 122, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2018.14
-
6Academic Journal
المؤلفون: Marcus V M Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy José Guerra Barretto de Queiroz
المصدر: Journal of Formalized Reasoning, Vol 9, Iss 2, Pp 53-68 (2016)
مصطلحات موضوعية: Coq, context-free languages, pumping lemma, Electronic computers. Computer science, QA75.5-76.95, Analytic mechanics, QA801-939
وصف الملف: electronic resource
-
7Academic Journal
مصطلحات موضوعية: non-context-free languages, closure, intersection, pumping lemma, formalization, Coq, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática, Science & Technology
وصف الملف: application/pdf
Relation: https://hdl.handle.net/1822/66489
-
8Conference
المؤلفون: Kwee, Kent, Otto, Friedrich
المساهمون: Universität Kassel Kassel, Giovanni Pighizzini, Cezar Câmpeanu, TC 1, WG 1.2
المصدر: Lecture Notes in Computer Science ; 19th International Conference on Descriptional Complexity of Formal Systems (DCFS) ; https://hal.inria.fr/hal-01656996 ; 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.226-237, ⟨10.1007/978-3-319-60252-3_18⟩
مصطلحات موضوعية: Restarting automaton, Ordered rewriting, Pumping lemma, Finiteness problem, [INFO]Computer Science [cs]
Relation: hal-01656996; https://hal.inria.fr/hal-01656996; https://hal.inria.fr/hal-01656996/document; https://hal.inria.fr/hal-01656996/file/440206_1_En_18_Chapter.pdf
-
9Academic Journal
المؤلفون: Asada, Kazuyuki, Kobayashi, Naoki
المساهمون: Kazuyuki Asada and Naoki Kobayashi
مصطلحات موضوعية: pumping lemma, higher-order grammars, Kruskal's tree theorem
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 80, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2017.97
-
10
المؤلفون: 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
-
11
المؤلفون: Hoshi, Kaito, Yamamura, Akihiro, Fazekas, Szilard Zsolt
المصدر: 数理解析研究所講究録. 2188:125-130
مصطلحات موضوعية: Jumping mode, One-way jumping finite automata, Pumping lemma, Context free language, Pushdown automata, Computer Science::Formal Languages and Automata Theory
وصف الملف: application/pdf
-
12Academic Journal
المؤلفون: Bowers, Philip L., Ruane, Kim
المصدر: Proceedings of the American Mathematical Society, 1996 Apr 01. 124(4), 1311-1313.
URL الوصول: https://www.jstor.org/stable/2161782
-
13
المؤلفون: 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
-
14
المؤلفون: 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
-
15
المؤلفون: 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)
-
16
المؤلفون: 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
-
17Academic Journal
المؤلفون: Smith, Tim
المساهمون: Tim Smith
مصطلحات موضوعية: stack automaton, infinite word, pumping lemma, prefix language, multihead finite automaton
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 24, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.413
-
18Academic Journal
المؤلفون: Parys, Pawel
المساهمون: Pawel Parys
مصطلحات موضوعية: pushdown graph, epsilon-contraction, pumping lemma
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 14, 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2012.54
-
19Academic Journal
المؤلفون: Kartzow, Alexander
المساهمون: Alexander Kartzow
مصطلحات موضوعية: collapsible pushdown graph, epsilon-contraction, pumping lemma
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.322
-
20Conference
المؤلفون: Albert, Pilar, Mayordomo, Elvira, Moser, Philippe, Perifel, Sylvain
المساهمون: Departamento de Informática e Ingeniería de Sistemas (DIIS), University of Zaragoza - Universidad de Zaragoza Zaragoza, Department of Computer Science (DCS), National University of Ireland Galway (NUI Galway), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Susanne Albers, Pascal Weil
المصدر: Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science ; STACS 2008 ; https://ens-lyon.hal.science/ensl-00175903 ; STACS 2008, Feb 2008, Bordeaux, France. pp.39-48
مصطلحات موضوعية: Finite-state compression, Lempel-Ziv algorithm, Pumping-lemma, pushdown compression, XML document, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
Relation: ensl-00175903; https://ens-lyon.hal.science/ensl-00175903; https://ens-lyon.hal.science/ensl-00175903v2/document; https://ens-lyon.hal.science/ensl-00175903v2/file/Mayordomo.pdf
Full Text Finder