Tratamiento formal de máquinas secuenciales autónomas y su aplicación a la integración de contadores

  1. Osés, Teresa
Dirigida per:
  1. Jordi Aguiló Llobet Director/a

Universitat de defensa: Universitat Autònoma de Barcelona

Any de defensa: 1982

Tribunal:
  1. Jordi Aguiló Llobet President/a
  2. Antonio Vaquero Sánchez Secretari/ària
  3. Mariano Mellado Rodríguez Vocal
  4. Pedro Cartujo Estebanez Vocal
  5. Francesc Serra Mestres Vocal

Tipus: Tesi

Teseo: 7500 DIALNET

Resum

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.