Automata Theory Courses
ACM SIGPLAN via YouTube Efficient Matching of Regular Expressions with Lookaround Assertions
ACM SIGPLAN via YouTube Complete Multiparty Session Type Projection with Automata - ST30
ACM SIGPLAN via YouTube Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation
ACM SIGPLAN via YouTube Visualizing Why Nondeterministic Finite-State Automata Reject
ACM SIGPLAN via YouTube An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
ACM SIGPLAN via YouTube Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
ACM SIGPLAN via YouTube On Learning Polynomial Recursive Programs
ACM SIGPLAN via YouTube Deciding Asynchronous Hyperproperties for Recursive Programs
ACM SIGPLAN via YouTube Parikh's Theorem Made Symbolic - POPL'24
ACM SIGPLAN via YouTube