Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Formal Languages

#Regular Languages #Context-Free Grammars #Chomsky Normal Form
Showing: 64 courses
NPTEL

Theory of Computation

4 rewiews
Explore finite automata, regular languages, context-free grammars, and Turing machines. Learn about computational models, their properties, and fundamental concepts in theoretical computer science.
Add to list
42 Lesons
1 day 15 hours
On-Demand
Free-Video
NPTEL

Theory of Automata, Formal Languages and Computation

1 rewiews
Explore automata theory, formal languages, and computation through grammars, finite state automata, pushdown automata, Turing machines, and advanced topics in theoretical computer science.
Add to list
42 Lesons
1 day 15 hours
On-Demand
Free-Video
Sundeep Saradhi Kanthety

Greibach Normal Form and Conversion of Context Free Grammar to GNF in Automata Theory

1 rewiews
Explore Greibach Normal Form and learn how to convert context-free grammars to GNF. Gain insights into this important concept in automata theory and formal language processing.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
Santa Fe Institute

Effective Theories for Computational Systems - Lecture 2

0 rewiews
Explore effective theories for computational systems, covering aggregation, finite state machines, regular languages, and emergence in complex systems modeling.
Add to list
13 Lesons
1 hour 20 minutes
On-Demand
Free-Video
Santa Fe Institute

Bridging the Divide Between Vectors and Symbols in Language Processing

0 rewiews
Explore the intersection of vectors and symbols in language processing, focusing on innovative approaches to bridge computational and cognitive models of meaning.
Add to list
11 Lesons
28 minutes
On-Demand
Free-Video
Simons Institute

Towards Understanding Modern Alchemy - Transformers as a Computational Model

0 rewiews
Explore in-context learning of formal languages, comparing Transformers to other models and examining specialized "n-gram heads" for improved performance in language modeling.
Add to list
1 Lesons
37 minutes
On-Demand
Free-Video
Simons Institute

Language Generation in the Limit - Transformers as a Computational Model

0 rewiews
Explore language generation using basic specifications, contrasting with language learning models. Discover non-trivial guarantees for generating valid new strings from unknown languages.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
Write your own Operating System

Context-Free Grammars - LR(k) Grammars

0 rewiews
Explore the LR-Technique for parser construction, covering state transitions, nonterminals, reduce conflicts, follow sets, and LR1 grammars.
Add to list
9 Lesons
49 minutes
On-Demand
Free-Video
Write your own Operating System

Context-Free Grammars - LL(k) Grammars

0 rewiews
Explore context-free grammars and LL(k) parsing, including hands-on implementation of an arithmetic expression parser and techniques for handling recursive rules.
Add to list
14 Lesons
1 hour 6 minutes
On-Demand
Free-Video
Write your own Operating System

Context-Free Grammars

0 rewiews
Learn about Context-Free Grammars, their role in parser and compiler design, and applications in programming languages. Gain practical advice and understand associativity concepts.
Add to list
7 Lesons
45 minutes
On-Demand
Free-Video

Theory of Computation

0 rewiews
Comprehensive exploration of Theory of Computation, covering automata, languages, grammars, and Turing machines. Ideal for GATE and UGC NET exam preparation.
Add to list
64 Lesons
10 hours
On-Demand
Free-Video
NLogSpace

NEA zu RegEx mit Ardens Lemma

0 rewiews
Erlernen Sie die Anwendung von Ardens Lemma zur Umwandlung von nichtdeterministischen endlichen Automaten in reguläre Ausdrücke anhand praktischer Beispiele.
Add to list
3 Lesons
30 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 17

0 rewiews
Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
1 hour 27 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 16

0 rewiews
Explore computação, lógica e teoria dos conjuntos em nível de mestrado. Aprofunde-se em linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
1 hour 50 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 15

0 rewiews
Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
56 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 14

0 rewiews
Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
2 hours 2 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 08

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture series.
Add to list
1 Lesons
1 hour 31 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 07

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
1 hour 57 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 06

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
1 hour 50 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 19

0 rewiews
Explore advanced topics in computation, logic, and set theory, including formal languages, register machines, decidability, algorithmic complexity, first-order logic, and ZFC set theory.
Add to list
1 Lesons
2 hours 2 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 18

0 rewiews
Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
2 hours 4 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 11

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
1 hour 43 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 10

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
2 hours 2 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 09

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture series.
Add to list
1 Lesons
1 hour 39 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 13

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture series.
Add to list
1 Lesons
1 hour 56 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 12

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
2 hours 1 minute
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

String Attractors of Rote Sequences

0 rewiews
Explore string attractors of Rote sequences in combinatorics on words, delving into mathematical concepts and their applications.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Automatic Actions in Geometric and Asymptotic Group Theory

0 rewiews
Explore geometric and asymptotic group theory, focusing on automatic actions in mathematics, with insights from Laurent Bartholdi's conference talk.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 04

0 rewiews
Explore conceitos avançados de computação teórica, incluindo linguagens formais, máquinas de registro, decidibilidade e complexidade algorítmica. Aprofunde-se em lógica de primeira ordem e teoria dos conjuntos.
Add to list
17 Lesons
1 hour 34 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 02

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
1 hour 41 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 01

0 rewiews
Explore fundamentos de computação, lógica e teoria dos conjuntos em aula de mestrado. Aborde linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
1 hour 48 minutes
On-Demand
Free-Video
Fields Institute

Buchi Automata and Fractals on R

0 rewiews
Explore Buchi automata and fractals on R, covering regular languages, model theory, and first-order logic. Gain insights into sparse sets and omega languages in this mathematical journey.
Add to list
7 Lesons
25 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Around Cobham's Theorem

0 rewiews
Explore Cobham's theorem and its implications in combinatorics on words through an in-depth mathematical analysis.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Schmid College, Chapman University

Formalization of Infinity Category Theory

0 rewiews
Explore ∞-category theory's formalization, unifying mathematics, computer science, and physics. Learn synthetic reasoning and the Yoneda Lemma in this advanced mathematical seminar.
Add to list
1 Lesons
1 hour 51 minutes
On-Demand
Free-Video
IEEE

HVLearn - Automated Black-Box Analysis of Hostname Verification in SSL-TLS Implementations

0 rewiews
Automated analysis of hostname verification in SSL/TLS implementations using automata learning algorithms. Identifies vulnerabilities and specification violations in popular libraries and applications.
Add to list
16 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation

0 rewiews
Explore the visualization of transforming nondeterministic finite-state machines to deterministic ones in this insightful presentation.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
ACM SIGPLAN

Visualizing Why Nondeterministic Finite-State Automata Reject

0 rewiews
Explore visual techniques for understanding rejection in nondeterministic finite-state automata, enhancing comprehension of complex computational concepts.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
IEEE

On the Generality and Convenience of Etypes

0 rewiews
Explores Etypes in the Ethos OS, discussing its generality through grammar conversion and convenience for programmers, with a focus on distributed mandatory type systems and robust program development.
Add to list
16 Lesons
24 minutes
On-Demand
Free-Video
Simons Institute

Formal Languages and Automata for Reward Function Specification and Efficient Reinforcement Learning

0 rewiews
Explore formal languages and automata for specifying reward functions in reinforcement learning, focusing on Linear Temporal Logic and Reward Machines to address real-world RL challenges.
Add to list
35 Lesons
1 hour 24 minutes
On-Demand
Free-Video
Fields Institute

Fractal Dimensions and Büchi Automata

0 rewiews
Explore fractal dimensions and Büchi automata, delving into formal definitions, regular languages, and ω-languages. Discover applications in model theory and intriguing examples where dimensions diverge.
Add to list
11 Lesons
49 minutes
On-Demand
Free-Video
Paul G. Allen School

Probabilistic Models for Learning a Semantic Parser Lexicon

0 rewiews
Probabilistic models for learning semantic parser lexicons from question/answer pairs, improving accuracy and efficiency without extensive human input or dataset-specific engineering.
Add to list
27 Lesons
42 minutes
On-Demand
Free-Video
Ryan O'Donnell

Deterministic Finite Automata

0 rewiews
Explore deterministic finite automata, their structure, and applications in computer science. Learn to construct DFAs, understand regular languages, and solve computational problems.
Add to list
14 Lesons
1 hour 21 minutes
On-Demand
Free-Video
Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Finite Automata

0 rewiews
Explore finite automata and regular languages in theoretical computer science, covering DFAs, computation concepts, and language analysis techniques.
Add to list
15 Lesons
1 hour 19 minutes
On-Demand
Free-Video
IEEE

A Quantum Query Complexity Trichotomy for Regular Languages

0 rewiews
Explore quantum query complexity for regular languages, uncovering a trichotomy that advances understanding in computational theory and quantum algorithms.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
Sundeep Saradhi Kanthety

Chomsky Normal Form and Conversion of CFG to CNF in Automata Theory

0 rewiews
Learn to convert Context-Free Grammars to Chomsky Normal Form, a standardized format for simplifying and analyzing grammars in automata theory. Understand the steps and rules for this important transformation.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
Sundeep Saradhi Kanthety

Conversion of NFA with Epsilon to NFA Without Epsilon in Automata Theory

0 rewiews
Learn to convert NFA with epsilon transitions to NFA without epsilon, a crucial skill in automata theory. Understand the step-by-step process and its importance in simplifying finite automata representations.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
Wolfram

Exploring Formal-Language Syntax with Multiway Systems

0 rewiews
Explore computational dynamics of formal-language syntax using multiway systems, focusing on substitution rules and visualization of various grammar types.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
Center for Language & Speech Processing(CLSP), JHU

Weak and Strong Learning of Context-Free Grammars - 2012

0 rewiews
Explore recent advancements in unsupervised learning of context-free grammars and the transition from weak to strong learning algorithms for accurate syntactic structure prediction.
Add to list
1 Lesons
1 hour 3 minutes
On-Demand
Free-Video
IEEE

Eliminating Input-Based Attacks by Deriving Automated Encoders and Decoders from Context-Free Grammars

0 rewiews
Learn to derive automated encoders and decoders from context-free grammars to eliminate input-based attacks, enhancing security in complex language communication systems.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
CppNow

Compile-time Reparsing - C++Now 2012

0 rewiews
Explore compile-time parsing techniques in C++ for creating embedded domain-specific languages, including runtime expressions, compile-time strings, and angle-bracket expressions.
Add to list
18 Lesons
1 hour 12 minutes
On-Demand
Free-Video
CppNow

The Truth of a Procedure in Programming

0 rewiews
Explore the mathematical logic behind programming procedures, treating them as statements about event arrangements and bridging programming with formal languages and truth concepts.
Add to list
17 Lesons
1 hour 36 minutes
On-Demand
Free-Video
EuroPython Conference

Learn from LL-1 to PEG Parser the Hard Way

0 rewiews
Explore parser evolution from LL(1) to PEG, covering compiler fundamentals, traditional techniques, and CPython's implementation. Gain insights into parsing concepts and their practical applications.
Add to list
11 Lesons
41 minutes
On-Demand
Free-Video
ACM SIGPLAN

Automated Ambiguity Detection in Layout-Sensitive Grammars

0 rewiews
Explore automated ambiguity detection in layout-sensitive grammars using SMT solving. Learn about local ambiguity, reachability conditions, and their application to language design.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
NPTEL-NOC IITM

Significance of Regular Languages and Regular Operations - Lecture 5

0 rewiews
Explore regular languages, non-regular examples, and key operations like union, concatenation, and Kleene star to deepen understanding of formal language theory.
Add to list
7 Lesons
16 minutes
On-Demand
Free-Video
Sundeep Saradhi Kanthety

Elimination of Left Recursion in Compiler Design - Examples and Explanation

0 rewiews
Explore left recursion in compiler design, its impact on parsing, and techniques for elimination. Learn to identify and resolve left-recursive grammars for efficient parsing.
Add to list
1 Lesons
14 minutes
On-Demand
Free-Video
Sundeep Saradhi Kanthety

Left Factoring in Compiler Design - Elimination of Left Factored Grammar

0 rewiews
Explore left factoring in compiler design, including left factored grammar and elimination techniques. Learn to optimize grammar for efficient parsing and reduce ambiguity in language processing.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
Sundeep Saradhi Kanthety

Specification of Tokens in Compiler Design - Regular Expressions, Languages, and Alphabets

0 rewiews
Explore token specification in compiler design, covering regular expressions, languages, strings, and alphabets. Learn key concepts for effective lexical analysis and token recognition.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
Alexander Amini

Deep CPCFG for Information Extraction

0 rewiews
Explore deep learning techniques for information extraction using Conditional Probabilistic Context-Free Grammars. Learn about document parsing, schema representation, and handling noisy data in this advanced lecture.
Add to list
12 Lesons
41 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Building Grammar Libraries for Mathematics and Avoiding Manual Work

0 rewiews
Explore techniques for constructing efficient grammar libraries in mathematics, focusing on automation to minimize manual effort and enhance productivity in formal language development.
Add to list
1 Lesons
35 minutes
On-Demand
Free-Video
Stony Brook Mathematics

Mathematical Structures in Generative Linguistics

0 rewiews
Explore mathematical structures in generative linguistics, from formal languages to Hopf algebras and geometric spaces for modeling semantics and syntactic variation across languages.
Add to list
1 Lesons
1 hour 15 minutes
On-Demand
Free-Video
ACM SIGPLAN

Programming Language as Language

0 rewiews
Explore programming languages as human languages, examining their structural elements, cognitive impacts, and role in shaping developer communities and mental models.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Center for Language & Speech Processing(CLSP), JHU

Modelling Human Syntax by Means of Probabilistic Dependency Grammars - 2007

0 rewiews
Explore probabilistic dependency grammars for modeling human syntax, addressing linguistic phenomena beyond context-free grammars and discussing generative models and parsing algorithms.
Add to list
1 Lesons
1 hour 18 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

An Introduction to Walnut - Lecture 2

0 rewiews
Explore Walnut, a tool for automata-based proofs in number theory and combinatorics. Delve into advanced techniques and applications in this comprehensive mathematical lecture.
Add to list
1 Lesons
1 hour 38 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

An Introduction to Walnut - Lecture 1

0 rewiews
Explore Walnut, a tool for automata-based decision procedures in number theory and combinatorics on words. Learn its applications and fundamental concepts.
Add to list
1 Lesons
1 hour 35 minutes
On-Demand
Free-Video