Validity test for Floyd's operator-precedence parsing algorithms is polynomial in time Peter Růžička (1981) Kybernetika