documentclass{article}

usepackage{lmodern}
usepackage{xparse}

ExplSyntaxOn

tl_new:N l__inft_fa_states
tl_new:N l__inft_fa_init

keys_define:nn { inft / fa }
{
  states .tl_set:N = l__inft_fa_states,
  init   .tl_set:N = l__inft_fa_init,

  states .initial:n = { Z   },
  init   .initial:n = { z_0 }
}

NewDocumentCommand FA { O{} }
{
  group_begin:
  keys_set:nn { inft / fa } { #1 }
  left(
  {
    { tl_use:N l__inft_fa_states } ,
    { tl_use:N l__inft_fa_init   }
  }
  right)
  group_end:
}

ExplSyntaxOff

begin{document}

$M_1 = FA$ qquad
$M_2 = FA[init=z_0]$

end{document}