1 / 7

Bus Route Example Meta Information Simplifies Search

Bus Route Example Meta Information Simplifies Search. Karl Lieberherr. Automata as algorithms . Sometimes an Automaton is the best algorithm The limited expressiveness makes it easier to develop the algorithm. Use an automaton to guide the search. Terminology.

raanan
Download Presentation

Bus Route Example Meta Information Simplifies Search

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Bus Route ExampleMeta Information Simplifies Search Karl Lieberherr

  2. Automata as algorithms • Sometimes an Automaton is the best algorithm • The limited expressiveness makes it easier to develop the algorithm. • Use an automaton to guide the search.

  3. Terminology • Class graph CG: simplified UML class diagram • Strategy graph SG: structural query about where to go • Traversal automaton TA: to guide the object traversal

  4. BR: BusRoute V: Village BS: BusStop B: Bus P: Person =: otherwise CG BR BS B V P P SG BR BS How many persons wait at a bus stop BS P V TA BR BS P qinit qBR qBS qP = = = = qStuck any symbol

  5. iBR i1V i1BS i1P i2P i1B i3P i4P i5P i2BS i6P i7P i8P i9P i1BS i2V

  6. U BR: BusRoute V: Village BS: BusStop B: Bus P: Person C: Covered U: Uncovered =: otherwise CG C BR BS B V P P SG BR U How many persons wait at an uncovered bus stop V,BS U P TA BR U P qinit qBR qU qP = = = = qStuck any symbol

  7. iBR i1V i1BS i1P i2P i1B i1U i3P i4P i5P i2U i6P i7P i8P i9P i1C i2V

More Related