. "Blondel, Vincent" . . . . "3"^^ . "1"^^ . "Decidability and universality in symbolic dynamical systems"@en . . "0169-2968" . . . "Z(MSM0021620845)" . "RIV/00216208:11620/06:00001812!RIV10-MSM-11620___" . "4" . "000243831500006" . "Decidability and universality in symbolic dynamical systems" . "Turing machines; halting problem; symbolic dynamics"@en . . . . "74" . "Fundamenta Informaticae" . . "Decidability and universality in symbolic dynamical systems" . . "K\u016Frka, Petr" . "NL - Nizozemsko" . "We propose a general definition of universality that applies discrete time symbolic dynamical systems and show that universal systems cannot be neither minimal nor equicontinuous" . . "Decidability and universality in symbolic dynamical systems"@en . "Delvenne, Jean-Charles" . "We propose a general definition of universality that applies discrete time symbolic dynamical systems and show that universal systems cannot be neither minimal nor equicontinuous"@en . . "28"^^ . . "470553" . "[DDB782CAFF29]" . "11620" . "RIV/00216208:11620/06:00001812" .