fyi this is a famous book on automata by one of the worlds leading experts eilenberg... ran across his name rereading krohn-rhodes pg. some of the deepest/most thorough theory. but in some ways not as active an area of research it seems.
@sketch: you may want to check the following references http://www.cs.berkeley.edu/~bodik/Files/2012/CAV-2012.pdf http://people.csail.mit.edu/asolar/papers/thesis.pdf http://sketch1.csail.mit.edu/demo/pages/sketchexp
@dave interesting stuff. reminds me of genetic algorithms. have always been fascinated with that area & have dabbled in it some. esp impressed with some of koza's directions.
a remarkable, even extraordinary or paradigm shifting use of GAs, highly cited in later surveys, was pioneered by Koza to solve a video game "problem"— namely Pac Man for a proof of principle, but the concept can likely be applied to possibly almost any video game, and the results are definitely ...
or as the commenter pointed out, also genetic programming...
also, recently saw an interesting paper that synthesized small boolean sorting networks using SAT, solving open question(s) of Knuth.
theory salon
theory salon