Blairbash.org

Quote #7522 

#7522

1717

June 7, 2018, 5:43 p.m.

⚐ Report
//writing a proof //Rose writes "So a sequence of states of M are visited as M processes s" Class: Shouldn't that be "is"? //Rose replaces "are" with "is" Rose: That doesn't look right. //Rose replaces "is" with "are" Class: The subject is the sequence of states of M, so the verb should be singular. //Rose replaces "are" with "be" Rose: Yeah, just leave it unconjugated.

learning grammar while proving things about regular grammars. Rose was later convinced that "is" is correct grammar.

rose, discrete