Hallo Matthias,
Mal für mich zum Verständnis: regulär heißt, dass es einen DEA gibt, der das entscheiden kann?
Ja.
Für deine allgemeine Fragestellung lassen sich sicher solche Automaten konstruieren. Ein Wort wird dann akzeptiert, wenn x und y vorkommen aber kein z.
Ja, aber zero-width assertions sind mit einem endlichen Automaten nicht möglich. Das gleiche gilt übrigens für back references.
LG,
CK