Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application (Q5863634): Difference between revisions

Revision as of 04:36, 29 July 2024

scientific article; zbMATH DE number 7536136

Language	Label	Description	Also known as
English	Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application	scientific article; zbMATH DE number 7536136

Statements

instance of

scholarly article

0 references

title

Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application (English)

0 references

author

Stefan Stanimirović

0 references

Aleksandar Stamenković

0 references

0 references

0 references

3 June 2022

0 references

zbMATH Keywords

matrices over semirings

0 references

Boolean matrices

0 references

additively idempotent semirings

0 references

partition refinement

0 references

weighted automata

0 references

determinization

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

The algorithmics of bisimilarity

0 references

Bisimulation relations for weighted automata

0 references

Finite nondeterministic automata: simulation and minimality

0 references

Mergible states in large NFA

0 references

Q4452062

0 references

NFA reduction algorithms by means of regular inequalities

0 references

Q2760243

0 references

Determinization of weighted finite automata over strong bimonoids

0 references

Bisimulations for fuzzy automata

0 references

Nondeterministic automata: equivalence, bisimulations, and uniform relations

0 references

Computation of the greatest simulations and bisimulations between fuzzy automata

0 references

Factorization of Fuzzy Automata

0 references

Fuzzy relation equations and reduction of fuzzy automata

0 references

Bisimulations for weighted automata over an additively idempotent semiring

0 references

An efficient algorithm for computing bisimulation equivalence

0 references

Handbook of weighted automata

0 references

Weakly linear systems of fuzzy relation inequalities and their applications: A brief survey

0 references

On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations

0 references

Weakly linear systems of fuzzy relation inequalities: the heterogeneous case

0 references

Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets

0 references

Q4708581

0 references

Reducing NFAs by invariant equivalences.

0 references

Theory Is Forever

0 references

Combinatorial Pattern Matching

0 references

An improved algorithm for determinization of weighted and fuzzy automata

0 references

Further improvements of determinization methods for fuzzy finite automata

0 references

CCS expressions, finite state processes, and three problems of equivalence

0 references

Q3431481

0 references

Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences

0 references

A calculus of communicating systems

0 references

Three Partition Refinement Algorithms

0 references

Q3907077

0 references

Q5541339

0 references

Q2968353

0 references

Reduction of fuzzy automata by means of fuzzy quasi-orders

0 references

Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders

0 references

Logical characterizations of simulation and bisimulation for fuzzy transition systems

0 references

Identifiers

zbMATH Open document ID

1499.15119

0 references

DOI

10.2298/FIL1909809S

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5863634

@@ Property / cites work @@
+The algorithmics of bisimilarity
@@ Property / cites work: The algorithmics of bisimilarity / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Finite nondeterministic automata: simulation and minimality
+Normal rank
@@ Property / cites work @@
+Mergible states in large NFA
@@ Property / cites work: Mergible states in large NFA / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452062
@@ Property / cites work: Q4452062 / rank @@
+Normal rank
@@ Property / cites work @@
+NFA reduction algorithms by means of regular inequalities
+Normal rank
@@ Property / cites work @@
+Q2760243
@@ Property / cites work: Q2760243 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization of weighted finite automata over strong bimonoids
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy automata
@@ Property / cites work: Bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic automata: equivalence, bisimulations, and uniform relations
+Normal rank
@@ Property / cites work @@
+Computation of the greatest simulations and bisimulations between fuzzy automata
+Normal rank
@@ Property / cites work @@
+Factorization of Fuzzy Automata
@@ Property / cites work: Factorization of Fuzzy Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy relation equations and reduction of fuzzy automata
+Normal rank
@@ Property / cites work @@
+Bisimulations for weighted automata over an additively idempotent semiring
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for computing bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly linear systems of fuzzy relation inequalities and their applications: A brief survey
+Normal rank
@@ Property / cites work @@
+On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations
+Normal rank
@@ Property / cites work @@
+Weakly linear systems of fuzzy relation inequalities: the heterogeneous case
+Normal rank
@@ Property / cites work @@
+Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets
+Normal rank
@@ Property / cites work @@
+Q4708581
@@ Property / cites work: Q4708581 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing NFAs by invariant equivalences.
@@ Property / cites work: Reducing NFAs by invariant equivalences. / rank @@
+Normal rank
@@ Property / cites work @@
+Theory Is Forever
@@ Property / cites work: Theory Is Forever / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Pattern Matching
@@ Property / cites work: Combinatorial Pattern Matching / rank @@
+Normal rank
@@ Property / cites work @@
+An improved algorithm for determinization of weighted and fuzzy automata
+Normal rank
@@ Property / cites work @@
+Further improvements of determinization methods for fuzzy finite automata
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Q3431481
@@ Property / cites work: Q3431481 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2968353
@@ Property / cites work: Q2968353 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of fuzzy automata by means of fuzzy quasi-orders
+Normal rank
@@ Property / cites work @@
+Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
+Normal rank
@@ Property / cites work @@
+Logical characterizations of simulation and bisimulation for fuzzy transition systems
+Normal rank