Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Quantum finite automaton
Formal sciences
Theoretical computer science
Theory of computation
Automata theory
Graph Chatbot
Related lectures (31)
Login to filter by course
Login to filter by course
Reset
Finite Automata: Recap
Covers the fundamentals of finite automata and formal languages.
Finite Automata: DFA to Regular Expression
Explains the transformation from a DFA to a Regular Expression and discusses important concepts in automata theory.
WS1S Solver: Project Structure
Explores the project structure for solving WS1S formulas and planned additions.
Synchronous Logic Circuits: Modeling and Optimization
Explores synchronous logic circuits, state-based modeling, optimization techniques, and finite-state machine state minimization.
Birth and Death Chains
Explores transience and recurrence in Markov chains, emphasizing birth and death chains and random walks.
Disasters, Successes, and Inductive Invariants
Explores software disasters, successful verifications, transition systems, and invariants in systems.
Synchronous Logic Circuits: Modeling and Optimization
Explores synchronous logic circuits, modeling techniques, state minimization, and finite-state machine optimization for area reduction.
Digital Systems: Finite State Machines Overview
Covers finite state machines, their types, structures, and practical applications in digital systems.
Finite Automata: Recap and Determinization
Covers a recap on NFAs and introduces the determinization process.
FSM Design and Synthesis
Explains the design and synthesis of Finite State Machines in logic systems.
Finite State Machines: Design and Analysis Techniques
Provides an overview of finite state machines, covering their design, analysis, and practical applications in digital systems.
Previous
Page 2 of 2
Next