Re: [xml-dev] What does "equivalent" mean for empty elements?

> > Suppose a parser processes the first form and produces, among other things, a series of pairs (token kind, token value). Upon encountering this:
>
>     <A>
>
>   the parser produces:
>
>     (START_TAG_NAME, "A")

A small correction: The parser doesn't do the work of the lexer (lexical analyzer).

It is the lexar that reads the actual input stream and based on it emits another stream that consists of **terminal symbols**.

What the parser should see in both cases is something like this:

TElement TName "A"

Thus the parser is **unaware** of such minor lexical details, as it will be unaware of the actual input for a MacroProcessing Stage, should there be one.

Cheers,

Dimitre

On Sat, Feb 5, 2022 at 11:39 AM Roger L Costello <costello@mitre.org> wrote:

Hi Folks,

By definition these two forms are equivalent:

<A></A>
<A/>

Suppose a parser processes the first form and produces, among other things, a series of pairs (token kind, token value). Upon encountering this:

<A>

the parser produces:

(START_TAG_NAME, "A")

Upon encountering this:

</A>

the parser produces:

(END_TAG_NAME, "A")

Should this:

<A/>

result in the parser producing the same two pairs?

What does "equivalent" mean?

Assertion: "equivalent" means both forms result in the parser producing the same two pairs:

(START_TAG_NAME, "A")
(END_TAG_NAME, "A")

Do you agree?

/Roger

_______________________________________________________________________

XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.

[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
subscribe: xml-dev-subscribe@lists.xml.org
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php

Cheers,

Dimitre Novatchev

---------------------------------------

Truly great madness cannot be achieved without significant intelligence.

---------------------------------------

To invent, you need a good imagination and a pile of junk

-------------------------------------

Never fight an inanimate object

-------------------------------------

To avoid situations in which you might make mistakes may be the

biggest mistake of all

------------------------------------

Quality means doing it right when no one is looking.

-------------------------------------

You've achieved success in your field when you don't know whether what you're doing is work or play

-------------------------------------

To achieve the impossible dream, try going to sleep.

-------------------------------------

Facts do not cease to exist because they are ignored.

-------------------------------------

Typing monkeys will write all Shakespeare's works in 200yrs.Will they write all patents, too? :)

-------------------------------------

Sanity is madness put to good use.

-------------------------------------

I finally figured out the only reason to be alive is to enjoy it.