3 ms·The Entscheidungsproblem should cover the restby Y_Y 3y agoThe Entscheidungsproblem should cover the rest