[ibis-macro] Re: A ,ami Template in BNF format ...

  • From: Bob Ross <bob@xxxxxxxxxxxxx>
  • To: wkatz@xxxxxxxxxx
  • Date: Thu, 25 Feb 2010 13:34:52 -0800

Walter:

My primary object is have the full .ami syntax captured as
a full set of formal rules from the top level down to a
reasonably low level as needed for clarity.  The dll
parameter passing syntax is different.

I am not sure what the specific concern is in BNF that
prevents the GetWave_Exist syntax rules to be fully and
completely described by a BNF.

This is actually more complicated because GetWave_Exists False
AND Init_Returns_Impulse False is illegal, but all other
combinations are legal.  BNFs can easily describe this
completely.

So I plan to continue documenting this case and every other
rule for each parameter as proposed.

Bob




Walter Katz wrote:
> All,
>
>
>
>  From a reference supplied by Bob,
> (http://www.cl.cam.ac.uk/~mgk25/iso-ebnf.html ) :
>
>
>
> ?The Backus-Naur Form (BNF) is a convenient means for writing down the
> grammar of a context-free language.?
>
>
>
> The parameter string that gets passed into the DLL in Parameters_In and
> Parameters_Out is context free. White the rules for the .ami file are
> not context-free. In the .ami file Getwave_Exists bust be Boolean, Info,
> and either True or False. There is no such constraint on any parameter
> in the string passed to the DLL.
>
>
>
> Therefore it is impossible to create a BNF for the .ami file that
> encapsulates the context sensitive rules. I am now calling this document
> an AMI Template using common BNF conventions.
>
>
>
> Enclosed is the updated document with this in mind.
>
>
>
> Walter
>
>
>
> Walter Katz
>
> 303.449-2308
>
> Mobile 720.333-1107
>
> wkatz@xxxxxxxxxx
>
> www.sisoft.com
>
>
>


--
Bob Ross
Teraspeed Consulting Group LLC     Teraspeed Labs
121 North River Drive              13610 SW Harness Lane
Narragansett, RI 02882             Beaverton, OR 97008
401-284-1827                       503-430-1065
http://www.teraspeed.com           503-246-8048 Direct
bob@xxxxxxxxxxxxx

Teraspeed is a registered service mark of Teraspeed Consulting Group LLC


---------------------------------------------------------------------
IBIS Macro website  :  http://www.eda.org/pub/ibis/macromodel_wip/
IBIS Macro reflector:  //www.freelists.org/list/ibis-macro
To unsubscribe send an email:
 To: ibis-macro-request@xxxxxxxxxxxxx
 Subject: unsubscribe

Other related posts: