Search results for: PROBLEM PUSTOŚCI

• Complexity of weak acceptonic conditions in tree automata

  Publication

  • J. Neumann
  • A. Szepietowski
  • I. Walukiewicz

  - INFORMATION PROCESSING LETTERS - Year 2002

  Rozważano złożoność problemu pustości dla automatów na drzewach ze słabymi warunkami akceptowalności. Rozważano także translacje pomiędzy słabymi i silnymi warunkami akceptowalności.