Yang, Qizhe

Title: Counting Finite Computations

Abstract: We report on a research progress to derive a closed formula for the number of finite state nondeterministic computations.