Ocean waves propagating over cohesionless seabed deposits
produce cyclic shear stresses within the deposit. Under certain
conditions these stresses may cause a progressive build-up of pore
pressure. Pore pressure accumulation can result in liquefaction or
a substantial decrease in the effective stress with attendant large
deformations of the seabed deposit....
In this thesis we introduce alpha and beta tree acceptors,
generalizations of tree automata. The alpha tree acceptors recognize
a tree by final symbol and the beta tree acceptors by final state. We
show that alpha and beta tree acceptors recognize the same sets of
Gorn trees and demonstrate that...