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

#Automata Theory

#Finite Automata #Finite State Machine #Cellular Automata
Showing: 163 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
Stanford University

Introduction to the Theory of Computing - Stanford

0 rewiews
Explore fundamental concepts of theoretical computer science, including automata, computability, and complexity theory, with practical applications and algorithmic fairness.
Add to list
41 Lesons
20 hours
On-Demand
Free-Video
Massachusetts Institute of Technology

Theory of Computation, Fall 2020

0 rewiews
Explore computability and complexity theory with MIT's in-depth course. Covers automata, Turing machines, undecidability, NP-completeness, and advanced topics in computational theory.
Add to list
25 Lesons
1 day 8 hours
On-Demand
Free-Video
NPTEL

Digital Circuits

0 rewiews
Comprehensive exploration of digital circuits, covering number systems, Boolean algebra, logic gates, arithmetic circuits, sequential circuits, finite state machines, data converters, memory, FPGA, VHDL, and microprocessors.
Add to list
66 Lesons
1 day 7 hours
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

The Dynamics of Computation and the Computational Power of Dynamics

0 rewiews
Explore the intersection of computation and dynamics, examining computational models, physical systems, and mathematical concepts to understand the nature of computation and its manifestation in various forms.
Add to list
20 Lesons
1 hour 29 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
JetBrains

How to Build Real Time Interactions in Your Django 3 App

0 rewiews
Explore real-time interactions in Django 3 with Calvin Hendryx-Parker. Learn new features, async capabilities, and hands-on coding using PyCharm for building interactive web applications.
Add to list
16 Lesons
1 hour 11 minutes
On-Demand
Free-Video
Institute for Advanced Study

Quantum Circuits, Cellular Automata and Tensor Networks - Ignacio Cirac

0 rewiews
Explore quantum circuits, cellular automata, and tensor networks, focusing on their representations, entanglement properties, and generalizations to quantum channels and measurement-assisted dynamics.
Add to list
10 Lesons
1 hour 10 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
media.ccc.de

Regular Expressions: From Basics to Denial of Service Attacks - FireShonks 2023

0 rewiews
Einführung in reguläre Ausdrücke: Von Grundlagen bis zu Sicherheitsrisiken wie ReDoS-Angriffen. Für Einsteiger geeignet, erklärt Konzepte und potenzielle Gefahren komplexer Ausdrücke.
Add to list
1 Lesons
45 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
Banach Center

Kryptografia Asymetryczna z Użyciem Synchronizacji Automatów Skończonych

0 rewiews
Poznaj innowacyjne podejście do kryptografii asymetrycznej wykorzystujące synchronizację automatów skończonych w wykładzie eksperta z Uniwersytetu Jagiellońskiego.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Symbolic Dynamics and Representations of Matrices

0 rewiews
Explorez la dynamique symbolique et les représentations matricielles dans cette conférence mathématique approfondie de 50 minutes.
Add to list
1 Lesons
50 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
SparkFun Electronics

Battle Bracer Project: Combining eTextiles, LED Multiplexing, and Tilt Sensing - Engineering Roundtable

0 rewiews
Explore the creation of a "Battle Bracer" combining eTextiles, LED multiplexing, tilt sensing, and finite state machines in this engineering project showcase featuring innovative wearable technology.
Add to list
6 Lesons
25 minutes
On-Demand
Free-Video
Simons Institute

Deciding Regular Games - A Playground for Exponential Time Algorithms

0 rewiews
Explore exponential time algorithms for deciding regular games, examining their applications and implications in system design and analysis.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
Simons Institute

New Models of Games with Imperfect Information

0 rewiews
Explores innovative approaches to modeling imperfect information in infinite games using finite-state automata, comparing observation-based and indistinguishability-relation models for enhanced expressiveness and strategy synthesis.
Add to list
1 Lesons
1 hour 11 minutes
On-Demand
Free-Video
Models of Consciousness Conferences

Automata-Theoretic Approach to Modelling Consciousness Within Mental Monism

0 rewiews
Automata-theoretic approach to modeling consciousness in mental monism, exploring constraints and implications for substrate-free models of the mind's structure and dynamics.
Add to list
7 Lesons
17 minutes
On-Demand
Free-Video
Paul G. Allen School

Crystals That Think About How They're Growing - Molecular Programming Research Seminar

0 rewiews
Explore DNA nanotechnology's potential for creating smart molecular systems, including a 355-tile set capable of implementing various 6-bit algorithms with high reliability.
Add to list
1 Lesons
58 minutes
On-Demand
Free-Video
ACM SIGPLAN

Deciding Asynchronous Hyperproperties for Recursive Programs

0 rewiews
Explore a novel logic for asynchronous hyperproperties, enhancing model checking for recursive programs. Gain insights into temporal logic, automata theory, and pushdown systems.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
Alan Turing Institute

Continuity and Rational Functions - Michaël Cadilhac, University of Oxford

0 rewiews
Explore continuity in word-to-word functions and its connection to language classes. Delve into transducers and their role in computing continuous functions, with applications in automata theory.
Add to list
10 Lesons
47 minutes
On-Demand
Free-Video
International Centre for Theoretical Sciences

Coxeter Groups are Biautomatic - Lecture 3

0 rewiews
Explore Coxeter groups and their biautomatic properties in this advanced mathematics lecture, part of a comprehensive workshop on geometric group theory.
Add to list
1 Lesons
1 hour 17 minutes
On-Demand
Free-Video
International Centre for Theoretical Sciences

Coxeter Groups are Biautomatic - Lecture 2

0 rewiews
Explore Coxeter groups' biautomatic properties in this advanced geometric group theory lecture, part of a workshop fostering research collaboration and exposure to active areas in the field.
Add to list
1 Lesons
1 hour 6 minutes
On-Demand
Free-Video
International Centre for Theoretical Sciences

Coxeter Groups are Biautomatic - Lecture 1

0 rewiews
Explore Coxeter groups and their biautomatic properties in this advanced mathematics lecture, part of a comprehensive workshop on geometric group theory.
Add to list
1 Lesons
1 hour 17 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
Mathematical Oncology

Lenia: A Continuous Model of Virtual Cell Growth Patterns

0 rewiews
Explore virtual cell growth patterns through Lenia, a continuous model presented by Dr. Bert Chan in this Mathematical Oncology seminar.
Add to list
1 Lesons
1 hour 38 minutes
On-Demand
Free-Video
Simons Institute

Attractor Decompositions in Games and Automata

0 rewiews
Explore attractor decompositions in graphs, their role in parity games, and applications to automata theory. Learn about structural complexity measures and strategy analysis.
Add to list
1 Lesons
37 minutes
On-Demand
Free-Video
Valerio Velardo - The Sound of AI

Drum Generation with Cellular Automata - Lecture 14

0 rewiews
Implement a Python-based cellular automaton for generating unique drum patterns, exploring rules for syncopation, accenting, and mutation in algorithmic music composition.
Add to list
15 Lesons
24 minutes
On-Demand
Free-Video
Tech with Tim

Python Simulation Tutorial - Conway's Game of Life

0 rewiews
Learn to create Conway's Game of Life simulation in Python using Pygame. Build a cellular automation, understand its rules, and implement key features like grid drawing and cell updates.
Add to list
10 Lesons
41 minutes
On-Demand
Free-Video
Rust

Cellular Automaton Visualization with Rust and Bevy

0 rewiews
Explore cellular automata visualization using Rust and Bevy framework. Learn implementation techniques and discover the fascinating world of simple simulations and their visual representations.
Add to list
8 Lesons
37 minutes
On-Demand
Free-Video
Rust

RustEdu Workshop - Teaching Rust and Programming Assignments

0 rewiews
Explore teaching Rust through practical assignments, including interpreters, puzzle solvers, and networked servers. Gain insights from two semesters of instruction experience.
Add to list
6 Lesons
21 minutes
On-Demand
Free-Video
Sundeep Saradhi Kanthety

SLR Parser with Example in Compiler Design - Parse Table & Parse Tree

0 rewiews
Learn to construct SLR parsers, including LR(0) canonical items, parse tables, and parse trees. Gain practical skills in compiler design through detailed examples and step-by-step explanations.
Add to list
1 Lesons
1 hour 19 minutes
On-Demand
Free-Video
Discover AI

Understanding AI State Machines, State Agents, and State Spaces

0 rewiews
Explore fundamental AI concepts including state machines, agent states, and state spaces in modern language models, with clear explanations of their interconnections and applications.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
Discover AI

Intelligence at the Edge of Chaos - Understanding Complex Reasoning in Overparameterized LLMs

0 rewiews
Explore groundbreaking research on how intelligence emerges in LLMs through complex datasets, focusing on the critical balance between order and chaos in cellular automata-based training.
Add to list
11 Lesons
30 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
ACM SIGPLAN

On Learning Polynomial Recursive Programs

0 rewiews
Explore P-finite automata, a generalization of weighted automata with polynomial transition weights. Learn about their polynomial-time learnability in Angluin's MAT exact learning model.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
Colin O'Flynn

Course Review Lecture Part 3 - Aug 10, 2012

0 rewiews
Comprehensive review of digital logic concepts including flip-flops, registers, counters, and finite state machines. Covers design processes and practical applications in digital systems.
Add to list
29 Lesons
51 minutes
On-Demand
Free-Video
Colin O'Flynn

Digital Circuits Lecture - Summary - Finite State Machines

0 rewiews
Comprehensive overview of Finite State Machines, covering problem understanding, diagram creation, state assignment, flip-flop selection, and implementation specifics for both Mealy and Moore machines.
Add to list
21 Lesons
25 minutes
On-Demand
Free-Video
Yannic Kilcher

Growing Neural Cellular Automata

0 rewiews
Explore neural cellular automata that learn to grow complex patterns through local interactions, mimicking biological morphogenesis and self-organization in a fascinating, interactive model.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
Alan Turing Institute

Learning Automata with Hankel Matrices - Borja Balle, Amazon Research Cambridge

0 rewiews
Explore a unified framework for learning automata using Hankel matrices, covering query learning, spectral learning, and matrix completion algorithms with practical applications.
Add to list
16 Lesons
41 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
Institute for Pure & Applied Mathematics (IPAM)

Introduction to Quantum Cellular Automata

0 rewiews
Explore quantum cellular automata: fundamental concepts, applications, and connections to topological phases of matter in this comprehensive lecture by Microsoft Research expert.
Add to list
1 Lesons
1 hour 11 minutes
On-Demand
Free-Video
Simons Institute

Games: From Logic and Automata to Algorithms

0 rewiews
Explore the intersection of logic, automata, and algorithms through game theory, focusing on theoretical foundations and computational applications.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
ICTP Mathematics

Reversible D-Dimensional CA Over the Ring ZM and Some Applications in Ergodic Theory

0 rewiews
Explore cellular automata on $\mathbf{Z}_p$ and $\mathbf{Z}_m$, covering invertibility, ergodic properties, and entropy concepts. Delve into measure-theoretic and topological entropy for 1D linear CA and $\mathbb{Z}^2$-actions.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
Playful Technology

Arduino-Controlled Rotary Telephone - DIY Escape Room Prop Tutorial

0 rewiews
Transform a vintage rotary phone into a versatile escape room prop using Arduino. Learn to wire components, program custom behaviors, and integrate audio for an immersive gaming experience.
Add to list
8 Lesons
1 hour 8 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
Linux Foundation

Formal Verification of Embedded Linux Systems Using Trace-Based Models

0 rewiews
Explore trace-based models for formal verification of embedded Linux systems, focusing on safety-critical aspects, real-time properties, and system instrumentation techniques.
Add to list
18 Lesons
38 minutes
On-Demand
Free-Video
TheIACR

Text Search Protocols with Simulation Based Security

0 rewiews
Explore text search protocols with simulation-based security, covering applications, automata encryption, and evaluation techniques for secure and efficient data retrieval.
Add to list
17 Lesons
22 minutes
On-Demand
Free-Video
Paul G. Allen School

PLSE Seminar Series - The Power of Symbolic Automata

0 rewiews
Explores symbolic automata, their applications in program verification, and novel decision procedures for equivalence checking and minimization of these powerful automata operating over infinite alphabets.
Add to list
1 Lesons
1 hour 4 minutes
On-Demand
Free-Video
TheIACR

Cryptanalysis of ARX Ciphers - Recent Developments and Open Questions

0 rewiews
Explore recent advancements in cryptanalysis of ARX ciphers, covering representation, differential group analysis, automatic methods, and open questions in this comprehensive talk by Siwei Sun.
Add to list
35 Lesons
1 hour
On-Demand
Free-Video
Complexity Explorer

Cellular Automata: Algorithmic Information Dynamics in Living Systems

0 rewiews
Explore cellular automata, a computational model for complex systems, and their applications in studying causality and living systems from networks to cells.
Add to list
1 Lesons
21 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 Regular Expression to Finite Automata Using Subset Method in Automata Theory

0 rewiews
Learn to convert regular expressions to finite automata using the subset method, covering NFA construction, epsilon transition removal, and DFA conversion in automata theory.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
Sundeep Saradhi Kanthety

Conversion of Finite Automata to Regular Expression Using State Eliminating Method in Automata Theory

0 rewiews
Learn to convert finite automata to regular expressions using the state elimination method, a crucial technique in automata theory for simplifying complex systems.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
Sundeep Saradhi Kanthety

Conversion of Finite Automata to Regular Expression Using Arden's Method in Automata Theory

0 rewiews
Learn to convert finite automata to regular expressions using Arden's method in automata theory. Explore step-by-step process with examples to master this important concept in theoretical computer science.
Add to list
1 Lesons
21 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
Linux Foundation

Formal Verification Made Easy and Fast

0 rewiews
Learn practical approaches to formal verification in Linux kernel development using Finite-State Machines and tracing events, with insights on low-overhead runtime verification techniques.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
Wolfram

Mathematical Games - Turing Machines and Turmites - Episode 19

0 rewiews
Explore mathematical games and puzzles involving Turing machines and turmites with Ed Pegg Jr. Discover fascinating concepts in computational theory and cellular automata.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
ACM SIGPLAN

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

0 rewiews
Explore a novel automata-based approach for analyzing quantum circuits, enabling efficient verification and bug detection in large-scale quantum systems using tree automata and algebraic representations.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Parikh's Theorem Made Symbolic - POPL'24

0 rewiews
Explore Parikh's Theorem for symbolic automata, learning efficient algorithms for handling large or infinite alphabets in language processing and constraint solving.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
Strange Loop Conference

A Relational Exploration of the Chomsky Hierarchy

0 rewiews
Explore encoding automata and Turing Machines in miniKanren for relational programming. Learn to generate strings and associated data structures, gaining insights into the Chomsky Hierarchy and automata workings.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
Security BSides San Francisco

Why It’s All Snake Oil – And That May Be OK

0 rewiews
Explore the limitations of security products, understand computer science theorems, and learn to evaluate vendor claims for your organization's needs.
Add to list
10 Lesons
10 minutes
On-Demand
Free-Video
BSidesLV

Why It's All Snake Oil - And That May Be Ok

0 rewiews
Explore cybersecurity challenges, computational limitations, and the implications of "snake oil" solutions in modern technology and threat detection.
Add to list
16 Lesons
42 minutes
On-Demand
Free-Video
BSidesLV

Revenge on the Worms! Towards Deception Against Automated Adversaries

0 rewiews
Explore deception strategies against automated adversaries, focusing on finite state machines, multiple plans, and automated planners. Learn test setups, results, and future implications.
Add to list
12 Lesons
47 minutes
On-Demand
Free-Video
Black Hat

CALDERA - Automating Adversary Emulation

0 rewiews
Automate adversary emulation for network security using CALDERA. Replicate realistic post-compromise techniques, leveraging benign system functionality to enhance defensive strategies.
Add to list
24 Lesons
52 minutes
On-Demand
Free-Video
Strange Loop Conference

Pattern Matching at Scale Using Finite State Machine

0 rewiews
Explore pattern matching at scale using finite state machines for big data analysis. Learn to build a framework for expressing user journey patterns and applying them across billions of events using Spark.
Add to list
36 Lesons
41 minutes
On-Demand
Free-Video
USENIX

Alembic - Automated Model Inference for Stateful Network Functions

0 rewiews
Automated inference of behavioral models for stateful network functions, enabling accurate testing and verification. Introduces Alembic, which synthesizes finite-state machine ensembles for diverse rule types and configurations.
Add to list
19 Lesons
26 minutes
On-Demand
Free-Video
Black Hat

C++11 Metaprogramming Applied to Software Obfuscation

0 rewiews
Explore advanced C++11 metaprogramming techniques for software obfuscation, including compile-time code generation, polymorphism, and practical applications like string encryption and call obfuscation.
Add to list
24 Lesons
41 minutes
On-Demand
Free-Video
JSConf

Mastering UIs with Finite State Machines

0 rewiews
Explore finite state machines for UI development, addressing common challenges and creating predictable, pure components. Learn a new paradigm for cleaner, more efficient user interfaces.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
PHP UK Conference

Real Time Communication to Simplify Your Life

0 rewiews
Explore real-time communication in IoT projects, focusing on connectivity, scalability, and global distribution. Learn about SIM card management, security, and PHP-based use cases in various industries.
Add to list
15 Lesons
41 minutes
On-Demand
Free-Video
Devoxx

Can Code, Will Generate Art

0 rewiews
Explore generative art through coding, from visualizing mathematical concepts to using neural networks for creative design. Learn how programming can be a tool for artistic expression.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
IEEE

Taming the Length Field in Binary Data - Calc-Regular Languages

0 rewiews
Explores calc-regular languages as an extension of regular languages to handle length fields in binary data serialization, improving security and parsing efficiency for length-prefix formats.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
IEEE

Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents

0 rewiews
Learn to extract finite state machines from protocol documents for automated attack synthesis, enhancing cybersecurity through innovative techniques in protocol analysis and vulnerability detection.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACCU Conference

Effective Replacement of Dynamic Polymorphism with std - variant

0 rewiews
Explore replacing dynamic polymorphism with std::variant in C++. Compare implementations of a Finite State Machine, discussing performance benefits and improved interface design.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
TheIACR

On the Difficulty of FSM Based Hardware Obfuscation

0 rewiews
Explores challenges in finite state machine-based hardware obfuscation, analyzing vulnerabilities and proposing potential countermeasures for enhanced security in digital circuit design.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACCU Conference

Crowd Your Way Out of a Paper Bag

0 rewiews
Explore cellular automata, swarms, and agents in crowd simulations. Learn about randomness in AI, machine learning basics, and spatial navigation through engaging simulations and practical examples.
Add to list
1 Lesons
1 hour 10 minutes
On-Demand
Free-Video
linux.conf.au

Finite State Machines - A Design Pattern for FPGAs and React

0 rewiews
Explore finite state machines as a versatile design pattern applicable to both FPGAs and React, bridging hardware and software development with practical implementation insights.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video