regular grammar in theory of computation