awkはDFAでperlはNFAだっけか?