Decidable properties for regular cellular automata

We investigate decidable properties for regular cellular automata. In particular, we show that regularity itself is an undecidable property and that nilpotency, equicontinuity and positively expansiveness became decidable if we restrict to regular cellular automata

Detalles Bibliográficos
Autor principal: Di Lena, Pietro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Unbounded-action devices (e.g., cellular automata, circuits, networks of machines)
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24396
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24396
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Unbounded-action devices (e.g., cellular automata, circuits, networks of machines)
spellingShingle Ciencias Informáticas
Unbounded-action devices (e.g., cellular automata, circuits, networks of machines)
Di Lena, Pietro
Decidable properties for regular cellular automata
topic_facet Ciencias Informáticas
Unbounded-action devices (e.g., cellular automata, circuits, networks of machines)
description We investigate decidable properties for regular cellular automata. In particular, we show that regularity itself is an undecidable property and that nilpotency, equicontinuity and positively expansiveness became decidable if we restrict to regular cellular automata
format Objeto de conferencia
Objeto de conferencia
author Di Lena, Pietro
author_facet Di Lena, Pietro
author_sort Di Lena, Pietro
title Decidable properties for regular cellular automata
title_short Decidable properties for regular cellular automata
title_full Decidable properties for regular cellular automata
title_fullStr Decidable properties for regular cellular automata
title_full_unstemmed Decidable properties for regular cellular automata
title_sort decidable properties for regular cellular automata
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/24396
work_keys_str_mv AT dilenapietro decidablepropertiesforregularcellularautomata
bdutipo_str Repositorios
_version_ 1764820466024841217

Ejemplares similares