Consider the use of parentheses and brackets in C$++$ array expressions,

$a[2**(i+1)]=(b[i]-1)$

Design a PDA for a language over an alphabet to determine if the parentheses and brackets in such expressions are properly matched and nested.