NFA to DFA conversion: Difference between revisions

From Algorithm Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
Line 28: Line 28:
[[File:NFA to DFA conversion - Space.png|1000px]]
[[File:NFA to DFA conversion - Space.png|1000px]]


== Pareto Frontier Improvements Graph ==  
== Space-Time Tradeoff Improvements ==  


[[File:NFA to DFA conversion - Pareto Frontier.png|1000px]]
[[File:NFA to DFA conversion - Pareto Frontier.png|1000px]]

Revision as of 14:35, 15 February 2023

Description

Convert a given nondeterministic finite automota (NFA) to a deterministic finite automota (DFA).

Parameters

n: number of states in the given NFA

Table of Algorithms

Name Year Time Space Approximation Factor Model Reference
Rabin–Scott powerset construction 1959 $O({2}^n)$ $O({1})$ Exact Deterministic Time

Time Complexity Graph

NFA to DFA conversion - Time.png

Space Complexity Graph

NFA to DFA conversion - Space.png

Space-Time Tradeoff Improvements

NFA to DFA conversion - Pareto Frontier.png