Simulation vs. Equivalence

Computer Science – Formal Languages and Automata Theory

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Scientific paper

For several semirings S, two weighted finite automata with multiplicities in S are equivalent if and only if they can be connected by a chain of simulations. Such a semiring S is called "proper". It is known that the Boolean semiring, the semiring of natural numbers, the ring of integers, all finite commutative positively ordered semirings and all fields are proper. The semiring S is Noetherian if every subsemimodule of a finitely generated S-semimodule is finitely generated. First, it is shown that all Noetherian semirings and thus all commutative rings and all finite semirings are proper. Second, the tropical semiring is shown not to be proper. So far there has not been any example of a semiring that is not proper.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Simulation vs. Equivalence does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Simulation vs. Equivalence, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Simulation vs. Equivalence will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-528068

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.