FatFat richardfat7

## Decidable.html
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body>
<h1>Decidable</h1>
<h2>DFA NFA Regular Expression</h2>
<ol>
<li>A<sub>DFA</sub> = {&lt; D, w &gt; | D is a DFA that accepts input w}<blockquote>

## Decidable.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                richardfat7
                / Decidable.md
            
            
              Last active
              December 13, 2017 10:49
            
              
                Decidable ? Not Decidable ?
              
          
    ✓Decidable

DFA NFA Regular Expression


A_DFA = {< D, w > | D is a DFA that accepts input w}

By Simulatation
A_NFA = {< N, w > | N is an NFA that accepts input w}

Convert to DFA
A_REX = {< R, w > | R is a regular expression that generates w}

Convert to DFA
MIN_DFA = {< D > | D is a minimal DFA}
	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
	<html>
	<head>
	<meta http-equiv="content-type" content="text/html; charset=utf-8">
	</head>
	<body>
	<h1>Decidable</h1>
	<h2>DFA NFA Regular Expression</h2>
	<ol>
	<li>A<sub>DFA</sub> = {< D, w > \| D is a DFA that accepts input w}<blockquote>