Tratamiento formal de máquinas secuenciales autónomas y su aplicación a la integración de contadores
- Osés, Teresa
- Jordi Aguiló Llobet Zuzendaria
Defentsa unibertsitatea: Universitat Autònoma de Barcelona
Defentsa urtea: 1982
- Jordi Aguiló Llobet Presidentea
- Antonio Vaquero Sánchez Idazkaria
- Mariano Mellado Rodríguez Kidea
- Pedro Cartujo Estebanez Kidea
- Francesc Serra Mestres Kidea
Mota: Tesia
Laburpena
El objetivo de este trabajo es por una parte estudiar mediante un tratamiento formal el conjunto de maquinas semenciales autonomas estableciendo una clasifi cacion a partir de la cual pueden obtenerse unas formas economicas que corresponden a maquinas con un costo minimo, por otra parte los resultados obtenidos son aplicados al diseño de contadores u tilizando algoritmos especificos para determinar la estructura correspondiente. La implimentacion de dichos contadores se realiza mediante modulos base utilizando tecnicas de integracion ulsi.