One counterexample for you: Conway's game of life has finite number of rules but you can construct universal turing machine with it that will have formally unde

One counterexample for you: Conway's game of life has finite number of rules but you can construct universal turing machine with it that will have formally undecidable behaviour.