[CSUSB] >> [CompSci] >> [Dick Botting] >> [CS656/556 Course Materials] >> train
[Index] || [Contents] || [Grades] Tue Aug 5 11:45:03 PDT 2003


    The Goods Train Problem

    A train starts with an engine and ends with a caboose. In between the engines and the caboose there are zero or more carriages.

    A two-engined-train has two engines in front else there is one engine in front.

    Express the possible sequences of trains using the XBNF notation and the given symbols:

  1. carriage::=given.
  2. engine::=given.
  3. caboose::=given.

  4. train::=... .


  5. XBNF::= See http://www.csci.csusb.edu/dick/maths/intro_ebnf.html.

Formulae and Definitions in Alphabetical Order