New answers tagged

0

I don't believe this fragment has a name, in particular because for every initial credit, this system has finitely many states, so its analysis reduces to analyzing finite state machines.


Top 50 recent answers are included