Search Results - Theory of computation Formal languages AND automata theory Grammars AND context-free languages
-
1
Authors: et al.
Contributors: et al.
Source: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
Subject Terms: FOS: Computer and information sciences, antichain algorithm, Formal Languages and Automata Theory (cs.FL), Theory of computation → Formal languages and automata theory, operator precedence automata, Computer Science - Formal Languages and Automata Theory, ddc:004, syntactic congruence
File Description: application/pdf
-
2
Authors: Müller, Stefan
Resource Type: eBook.
Subjects: Language acquisition, Language and languages--Study and teaching, Germanic languages--Syntax, Computational linguistics, Grammar, Comparative and general, Generative grammar, Government (Grammar)
PDF Full Text -
3
-
4
Authors: Müller, Stefan
Resource Type: eBook.
Subjects: Linguistics, Computational linguistics, Language and languages--Study and teaching, Generative grammar, Government (Grammar), Grammar, Comparative and general--Syntax, Germanic languages--Syntax
PDF Full Text -
5
-
6
-
7
-
8
-
9
-
10
Authors: Basten, Bas
Subject Terms: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_PL] Computer Science/Programming Languages, context-free grammars, programming languages, ambiguity detection, static analysis, scannerless
-
11
Authors: Edwards, Darren J.
Source: Frontiers in Computational Neuroscience; 2024, p1-45, 45p
-
12
Authors: et al.
Contributors: et al.
Subject Terms: and phrases Boolean algebras, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], automata, vector addition systems, pushdown automata, traces, ddc:004, synchronization, Boolean algebras, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Source: Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020
Subject Terms: FOS: Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Theory of computation → Logic and verification, 01 natural sciences, Automata, Regular cost functions, higher-order recursion schemes, Infinite trees, Cost logics, downward closure, safe recursion schemes, cost automata, 0202 electrical engineering, electronic engineering, information engineering, cost logics, ddc:004, Safe scheme, Theory of computation → Rewrite systems, downward closures
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Source: 32nd International Conference on Concurrency Theory, CONCUR 2021
Subject Terms: FOS: Computer and information sciences, Theory of computation → Grammars and context-free languages, Formal Languages and Automata Theory (cs.FL), Theory of computation → Problems, reductions and completeness, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, Pushdown automata, 01 natural sciences, 68Q45, 68Q17, Alternating pushdown systems, TA, 0202 electrical engineering, electronic engineering, information engineering, Adaptive synchronisation, ddc:004, QA
File Description: application/pdf
Access URL: http://arxiv.org/abs/2102.06897
http://wrap.warwick.ac.uk/158284/1/WRAP-Adaptive-synchronisation-pushdown-automata -2021.pdf
https://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-06897
https://drops.dagstuhl.de/opus/volltexte/2021/14394/pdf/LIPIcs-CONCUR-2021-17.pdf/
https://arxiv.org/pdf/2102.06897
https://drops.dagstuhl.de/opus/volltexte/2021/14394/
https://arxiv.org/abs/2102.06897
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.17 -
15
Authors: et al.
Contributors: et al.
Source: SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing ; SAC 2018: The 33th ACM/SIGAPP Symposium on Applied Computing ; https://hal.science/hal-02652140 ; SAC 2018: The 33th ACM/SIGAPP Symposium on Applied Computing, Apr 2018, Pau, France. pp.1680-1686
Subject Terms: Rewrite systems, Grammars and context-free languages, Formalisms, Theory of computation, Formal languages and automata theory, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]
-
16
-
17
-
18
Authors:
Source: Computational Brain & Behavior; Dec2024, Vol. 7 Issue 4, p535-547, 13p
-
19
Authors:
Resource Type: eBook.
Subjects: Psycholinguistics
Categories: PHILOSOPHY / Language, LANGUAGE ARTS & DISCIPLINES / Linguistics / Psycholinguistics / General, LITERARY CRITICISM / Semiotics & Theory
PDF Full Text ePub Full Text -
20
Nájsť tento článok vo Web of Science 
Full Text 
Full Text Finder