Handbook of Weighted Automata

Formålet med denne håndboken er å belyse både teori og anvendelser av vektet automatikk. Vektede endelige automater er klassiske ikke-deterministiske endelige automater der overganger har tilknyttede vekter. Disse vektene kan for eksempel modellere kostnadene ved å utføre en overgang, mengden ressurser eller tid som kreves for dette, samt sannsynligheten eller påliteligheten til den vellykkede utførelsen. Atferden til vektede endelige automater kan dermed betraktes som en funksjon som assosierer hver tekststreng med vekten av dens utførelse. Det er klart at vekter også kan legges til klassiske automater med uendelige tilstandsett, som for eksempel pushdown-automater; denne utvidelsen utgjør det generelle konseptet for vektet automatikk. For å illustrere mangfoldet av vektede automater, kan vi vurdere følgende scenarioer: Anta at et kvantitativt system modelleres av en klassisk automat der overganger har vektene som representerer mengden ressurser som er nødvendige for deres utførelse.