It is a decidable problem but it is not so easy to prove http://www.lfcs.inf.ed.ac.uk/reports/99/ECS-LFCS-99-411/ECS-LFCS-99-411.pdf
64.3k questions
77.9k answers
244k comments
80.0k users