12 ms·Enumerating machines is trivial. Understanding and analyzing their behavior is hard.by lupire 2y agoEnumerating machines is trivial. Understanding and analyzing their behavior is hard.