PSPACE-complete problems | Finite automata

NFA minimization

In automata theory (a branch of theoretical computer science), NFA minimization is the task of transforming a given nondeterministic finite automaton (NFA) into an equivalent NFA that has a minimum number of states, transitions, or both. While efficient algorithms exist for DFA minimization, NFA minimization is PSPACE-complete. No efficient (polynomial time) algorithms are known, and under the standard assumption P ≠ PSPACE, none exist. The most efficient known algorithm is the Kameda‒Weiner algorithm. (Wikipedia).

Video thumbnail

Mod-01 Lec-21 Vector and Matrix Norms

Elementary Numerical Analysis by Prof. Rekha P. Kulkarni,Department of Mathematics,IIT Bombay.For more details on NPTEL visit http://nptel.ac.in

From playlist NPTEL: Elementary Numerical Analysis | CosmoLearning Mathematics

Video thumbnail

Minimization and reduction of plane curves - Stoll - Workshop 2 - CEB T2 2019

Michael Stoll (Universität Bayreuth) / 27.06.2019 Minimization and reduction of plane curves When given a plane curve over Q, it is usually desirable (for computational purposes, for example) to have an equation for it with integral coefficients that is ‘small’ in a suitable sense. Ther

From playlist 2019 - T2 - Reinventing rational points

Video thumbnail

Factor the denominator to help you simplify a rational expression

Learn how to simplify rational expressions. A rational expression is an expression in the form of a fraction where the numerator and/or the denominator are/is an algebraic expression. To simplify a rational expression, we factor completely the numerator and the denominator of the rational

From playlist Simplify Rational Expressions

Video thumbnail

Simplify a rational expression

Learn how to simplify rational expressions. A rational expression is an expression in the form of a fraction where the numerator and/or the denominator are/is an algebraic expression. To simplify a rational expression, we factor completely the numerator and the denominator of the rational

From playlist Simplify Rational Expressions

Video thumbnail

Discrete Structures: NFA and DFA; Thompson's Constructions

Learn how to convert any NFA into an equivalent DFA. How to handle epsilon transitions. Also, using Thompson's Constructions to convert a regular expression into an NFA.

From playlist Discrete Structures, Spring 2022

Video thumbnail

Mod-01 Lec-03 Interpolating Polynomials

Elementary Numerical Analysis by Prof. Rekha P. Kulkarni,Department of Mathematics,IIT Bombay.For more details on NPTEL visit http://nptel.ac.in

From playlist NPTEL: Elementary Numerical Analysis | CosmoLearning Mathematics

Video thumbnail

Factoring out the GCF to simplify the rational expression

Learn how to simplify rational expressions. A rational expression is an expression in the form of a fraction where the numerator and/or the denominator are/is an algebraic expression. To simplify a rational expression, we factor completely the numerator and the denominator of the rational

From playlist Simplify Rational Expressions (Binomials) #Rational

Video thumbnail

Regular expressions and Non-Deterministic Finite State Automata (NFA)

A recap of converting regular expressions to non-deterministic finite state automata (NFA) with epsilon transitions, and then converting the NFA to a DFA. I used a simplified version of Thompson's Construction.

From playlist Discrete Structures

Video thumbnail

RailsConf 2018: Re-graphing The Mental Model of The Rails Router by Vaidehi Joshi

Re-graphing The Mental Model of The Rails Router by Vaidehi Joshi Rails is incredibly powerful because of its abstractions. For years, developers have been able to hit the ground running and be productive without having to know the in's and out's of the core computer science concepts that

From playlist RailsConf 2018

Video thumbnail

Simplifying a rational expression by factoring

Learn how to simplify rational expressions. A rational expression is an expression in the form of a fraction where the numerator and/or the denominator are/is an algebraic expression. To simplify a rational expression, we factor completely the numerator and the denominator of the rational

From playlist Simplify Rational Expressions

Video thumbnail

Solving a Standard Minimization Problem Using The Simplex Method (Duality)

This video explains how to solve a standard minimization problem using the simplex method Site: http://mathispower4u.com

From playlist The Simplex Method

Video thumbnail

Computation Ep9, NFAs (Feb 4, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Video thumbnail

More NFAs: Theory of Computation (Feb 12 2021)

More about NFAs. Due to a technical disaster on campus my video cropping was messed up- I'm very sorry for the inconvenience, and hopefully you can still make sense of the video. This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

Computation Ep19, Linear Grammars (Mar 8, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Video thumbnail

Simplify a rational expression

Learn how to simplify rational expressions. A rational expression is an expression in the form of a fraction where the numerator and/or the denominator are/is an algebraic expression. To simplify a rational expression, we factor completely the numerator and the denominator of the rational

From playlist Simplify Rational Expressions

Video thumbnail

Computation Ep13, Regex to NFA (Feb 15, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Video thumbnail

Computation Ep10, NFAs (Feb 8, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Video thumbnail

Converting NFA to DFA: Theory of Computation (Feb 16 2021)

The subset construction to convert an NFA to an equivalent DFA. This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math & computer science majors at Fairfield University, Spring 2021. Class website: http://cstaecker.fairfield.edu/~cstaec

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

Computation Ep15, Exam #1 review (Feb 23, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Video thumbnail

Minimax Approximation and the Exchange Algorithm

In this video we'll discuss minimax approximation. This is a method of approximating functions by minimisation of the infinity (uniform) norm. The exchange algorithm is an iterative method of finding the approximation which minimises the infinity norm. FAQ : How do you make these animatio

From playlist Approximation Theory

Related pages

Regular language | Theoretical computer science | P (complexity) | PSPACE-complete | Automata theory | DFA minimization | Nondeterministic finite automaton