infinite


The number of DFA accept same language is countably infinite


I realize that the DFA is countable since the DFA for specific language is the subset of all DFAs. Just wonder how to prove that the number of DFAs accept specific language is infinite?
Take any DFA for your language. It must contain some other cycle/loop. Add a new set of states corresponding to the cycle, and allow this set of states to represent odd-numbered passes through the cycle/loop (the original states represent even passes). If necessary, add nondeterminism and use the powerset construction to turn the NFA back into a DFA.
Either way, you end up with a DFA for the same language that has more states.

Related Links

Elastix: is there a way to setup a conference with infinite duration?
breaking down an expression into partial fractions
CodeNameOne InfiniteProgress Issue
Calculate Sum of Infinite Numbers Series [closed]
500 Internal Server Error with passing wrong parameter in action of struts 2.0
The number of DFA accept same language is countably infinite

Categories

HOME
xcode
typelite
focus
adfs3.0
redmine
mousemove
embedded-resource
initialization
twitter-fabric
iptables
turbojpeg
azure-mobile-services
google-search-console
mithril.js
cdi
joomla3.2
sslhandshakeexception
pushdown-automaton
trace32
max-msp-jitter
xbox360
playframework-2.0
rpmbuild
pickle
workday
backtracking
acl
software-packaging
materialize
monitor
instructions
reporting
gnu-classpath
android-canvas
ng-repeat
rdp
sendinput
type-inference
axis
rightnow-crm
visual-format-language
subforms
google-news
algebra
portability
wikimapia
mpmovieplayercontroller
kendo-treeview
pbx
jsonix
cdo.message
android-sdcard
json-spirit
astropy
bootstrap-wysiwyg
org-babel
subfolder
tidyr
fiware-bosun
hp-idol-ondemand
storing-data
lumia-imaging-sdk
mfmessagecomposeview
forio-contour
profiles
pacman
examine
itunes-sdk
gitx
struts2-json-plugin
arrow
liveconnect
dropshadow
netstream
acpi
kolite
n-queens
motodev-studio
office-automation
sql-parametrized-query
photo-management
qcar-sdk
dip
anonymous-types
regression-testing
aptitude
fgetc
aspbutton
subtext
code-camp

Resources

Encrypt Message