Gregory's Server@isagel yeah, in the case where a rewrite rule takes more terms than it writes, it's part of the terminating category :)
|
Top-level
 @isagel yeah, in the case where a rewrite rule takes more terms than it writes, it's part of the terminating category :) 1 comment
|
this isn't super clear to me! it seems like balancing on the boundary of completeness. it seems like this argument is pretty well tied to the evaluation of modal, no?
if you have more thoughts about how this fits into the chomsky hierarchy, i'd love to hear about it, but this is plenty of motivation for me to play with modal :>